3
2
1
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3
added trivial unsat clauses?-1,-2,-3