solve 10^2*(sqrt3-pi/2)-x=0