\sin x+\sqrt{3}\cos x=1