Rating:

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