empty set as solution supported