Created random XOR SAT generator