xor.sat