Hide some minisat output when maximising/minimising and verbosity = 0.
Hide some minisat output when maximising/minimising and verbosity = 0.

eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack