Solve sin 30 + y sin 60 = x, z sin 45 = x, z cos 45 = 1 cos 30 + y cos 60