sin(x)/sin(\pi/12-x)=1/sqrt(6)