diff --git a/src/math/polysat/viable.h b/src/math/polysat/viable.h
index ddec88412..4c3e90ed1 100644
--- a/src/math/polysat/viable.h
+++ b/src/math/polysat/viable.h
@@ -18,7 +18,7 @@ Notes:
 --*/
 #pragma once
 
-#define NEW_VIABLE 1
+#define NEW_VIABLE 0
 
 #include <limits>