diff --git a/src/solver/parallel_tactical.cpp b/src/solver/parallel_tactical.cpp
index 803f54eb74..4ba1b59d3e 100644
--- a/src/solver/parallel_tactical.cpp
+++ b/src/solver/parallel_tactical.cpp
@@ -2183,7 +2183,7 @@ public:
                 std::string reason = ps.reason_unknown();
                 if (!reason.empty()) {
                     g->set_reason_unknown(reason);
-                    IF_VERBOSE(0, verbose_stream() << reason << "\n");
+                    IF_VERBOSE(1, verbose_stream() << reason << "\n");
                 }
             }
             break;