GUI: SAT result is now sorted