From 75bc0b8273ba37270136fae2b9340f15c532231a Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 28 Aug 2017 16:38:34 -0700
Subject: [PATCH] Small edit

---
 src/csolver.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/csolver.cc b/src/csolver.cc
index 3fd77a3..521848a 100644
--- 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) {
-- 
2.34.1