diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 150e3a57a..807b88c9e 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -560,7 +560,7 @@ namespace sls {
             return true;
 
         flet<bool> _tabu(m_use_tabu, false);
-        if (find_nl_moves(lit))
+        if (false && find_nl_moves(lit))
             return true;
         if (false && find_lin_moves(lit))
             return true;