unsat error lines