Can now convert XOR SAT to Sigma Game