correct sat_count/2 for tautologies