sin(pi/12)/sqrt(3)