small fix
empty set as solution supported
color tweak
clean up