count unsat clauses