find solution set