Fix bug in Provers.E.
First work on refutation-based model finder.
twiddle minisat