24: Add solution (part 1)

After some source code analysis (S(ymbolic)ALU module), the MONAD module
now generates a set of constraints that need to be satisfied before
the program is even run. This finds the solution below 0.1 s now!