use bound on cnf clause number to weed out low depths