1687 XOR 1154

533