minisat: Incremental solving is forced on (to avoid variable elimination) unless using internal decision strategy.
success