Too Many Boolean Clauses