1858 XOR 1431

725