solve sin x cos x = √3 / 4