1848 XOR 1712

392