1887 XOR 1712

495