XOR-satisfiability