Engine::run() returns false if UNSAT
fix minisat for gcc on win32