sin(pi/3+x)=7/8