2057 XOR 2872

817