sin(pi/12)