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