diff --git a/src/sat/bmc/bmcMaj8.c b/src/sat/bmc/bmcMaj8.c
index ae0307994..3aa3bce59 100644
--- a/src/sat/bmc/bmcMaj8.c
+++ b/src/sat/bmc/bmcMaj8.c
@@ -791,7 +791,8 @@ int Exa8_ManExactSynthesisIter( Bmc_EsPar_t * pPars )
             Vec_StrFree( vStr );
         }
         Result = Exa8_ManExactSynthesis(pPars);
-        if ( Result != 2 )
+        fflush( stdout );
+        if ( Result == 1 )
             break;
     }
     return Result;