GUI: SAT solving fixed