How do you solve 4cos(3x/2)=1?