How do you solve #2cosx=sqrt3#?