added SolutionNotFound() function