3950 XOR 3712

494