1887 XOR 1251

956