MAYBE Statistics: Number of monomials: 2850 Last formula building started for bound 1 Last SAT solving started for bound 1