Finding the solution set