find the principal solutions of sin x = sqrt 3/2​