set builder notation no solution - Search