GUI: trivial cases for task sat solve added