diff --git a/src/test/viable.cpp b/src/test/viable.cpp
index e519dda63..7eb286587 100644
--- a/src/test/viable.cpp
+++ b/src/test/viable.cpp
@@ -53,22 +53,22 @@ namespace polysat {
         s.add_ule(x + 3, x + 5);
         VERIFY_EQ(s.check_sat(), l_true);
         std::cout << v << "\n";
-        std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
-        std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
+        // std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
+        // std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
         s.add_ule(x, 2);
         VERIFY_EQ(s.check_sat(), l_true);
         std::cout << v << "\n";
         s.add_ule(1, x);
         VERIFY_EQ(s.check_sat(), l_true);
         std::cout << v << "\n";
-        std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
-        std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
+        // std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
+        // std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
         s.add_ule(x, 3);
         VERIFY_EQ(s.check_sat(), l_true);
         std::cout << v << "\n";
         std::cout << v.find_viable(xv, val) << " " << val << "\n";
-        std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
-        std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
+        // std::cout << "min " << v.min_viable(xv, val) << " " << val << "\n";
+        // std::cout << "max " << v.max_viable(xv, val) << " " << val << "\n";
         s.add_ule(3, x);
         VERIFY_EQ(s.check_sat(), l_false);
         std::cout << v << "\n";