\ADD{1.256}{3.214}{\sol}
$1.256+3.214=\sol$
