Small edit

diff --git a/src/csolver.cc b/src/csolver.cc
index 3fd77a3b45145c415dca79d64edf24dcdb58aea2..521848a2a46e9833b96c74fb61ee78be778c4dbf 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -212,7 +212,7 @@ int CSolver::startEncoding() {
        orderAnalysis(this);
        naiveEncodingDecision(this);
        satEncoder->encodeAllSATEncoder(this);
-       int result = satEncoder->solve();
+       int result = unsat ? IS_UNSAT : satEncoder->solve();
        long long finishTime = getTimeNano();
        elapsedTime = finishTime - startTime;
        if (deleteTuner) {