deleted duplicate files; refactoring in FindSolution