sqrt3/2