Solve for x 2sin(pi/3x) = square root of 2