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