switching the messages on each iteration of MC-SAT and SampleSAT to verbose=3