How do you solve 2cosx=sqrt3?