# the guy knows that sin(pi/3) is sqrt3/2, and he also knows that sin(pi - theta) = sin(theta), he uses those two to come up with the solutions