diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp
index df736e4ba..9ec4ab199 100644
--- a/src/sat/sat_aig_cuts.cpp
+++ b/src/sat/sat_aig_cuts.cpp
@@ -788,7 +788,7 @@ namespace sat {
                 }
             }
         }
-        IF_VERBOSE(0, verbose_stream() << "#don't cares " << dont_cares << "\n");
+        IF_VERBOSE(2, verbose_stream() << "#don't cares " << dont_cares << "\n");
     }
 
     struct aig_cuts::validator {