bugfix in FindSolution; now all possible combo explored