Print "Verifying" only after we've determined the problem is Sat.
Print "Verifying" only after we've determined the problem is Sat.

rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,dbueno/funsat