Added option for enabling minisat heuristic.