\sin 5x-\sqrt{3} \cos 5x = \sqrt{3}