improved SolverGreedy
(now it uses recursion to do a depth-first search along all "best" paths of the solution tree)