diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp
index dbb5ea123..1eb84d6f4 100644
--- a/src/sat/sat_asymm_branch.cpp
+++ b/src/sat/sat_asymm_branch.cpp
@@ -134,7 +134,7 @@ namespace sat {
                 s.propagate(false); 
                 if (s.m_inconsistent)
                     break;
-                std::cout << m_elim_literals - elim << "\n";
+                // std::cout << m_elim_literals - elim << "\n";
                 if (m_elim_literals == elim)
                     break;
             }