\CUBE{-1.256}{\sol} $(-1.256)^3=\sol$