debugged the SolutionNotFound function