Fixed bug with unsat error not displaying properly