How do you solve cosx=sqrt3/2?