diff --git a/src/sat/sat_types.h b/src/sat/sat_types.h
index 7c4e4fb73..d2e2ffc94 100644
--- a/src/sat/sat_types.h
+++ b/src/sat/sat_types.h
@@ -34,7 +34,7 @@ class params_ref;
 class reslimit;
 class statistics;
 
-#define ENABLE_TERNARY false
+#define ENABLE_TERNARY true
 
 namespace sat {
 #define SAT_VB_LVL 10