diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c
index e22adba23..6bb294887 100644
--- a/src/aig/saig/saigInd.c
+++ b/src/aig/saig/saigInd.c
@@ -318,7 +318,9 @@ nextrun:
     }
     if ( fVerbose )
     {
-        if ( fUnique || fUniqueAll )
+        if ( status == l_Undef )
+            printf( "Conflict limit (%d) was reached during iteration %d.\n", nConfMax, f+1 );
+        else if ( fUnique || fUniqueAll )
             printf( "Completed %d interations and added %d uniqueness constraints.\n", f+1, nConstrs );
         else
             printf( "Completed %d interations.\n", f+1 );