Make the phase able to search other solutions
Add the ability to the solver to search for shorter solutions