Move solve into Xor.solveXor