How do you solve 4sinx=sqrt3?