fix up solution set