Fixed bug in minisat heuristic.
Added option for minisat restarts.