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