\MULTIPLY{1.256}{3.214}{\sol} $1.256\times3.214=\sol$