2559 XOR 2871

712