Question 490915
It's cos(pi/6)
= {{{sqrt(3)/2}}}