Move more stuff to Cubies abstract class.
Split the Strategy from the Solver.
Add the slack strategy.
Add a coset solver, not the right values :(