Gui: sat solving now works correctly