Compiles OK - but no test cases yet - let's add them
Start testing the solver.