cos(11pi/12)