c(\pi/12)=\sqrt{2+\sqrt 3}