2cos(pi/6)