diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c
index b546ea08f..b3d9a53d0 100644
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -485,7 +485,7 @@ static inline Ses_Man_t * Ses_ManAlloc( word * pTruth, int nVars, int nFunc, int
     p->fVerbose        = fVerbose;
     p->fVeryVerbose    = 0;
     p->fExtractVerbose = 0;
-    p->fSatVerbose     = 1;
+    p->fSatVerbose     = 0;
 
     return p;
 }