We need to find a number s.t. `n ^ 1337 % 12 == 11`, `n ^ 1337 / 12 == 18`.

Original writeup (https://www.nevivur.net/writeups/2019/04/tjctf-2019/#rockstart-certified).