diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 70f94616d..c6ce02119 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -555,7 +555,7 @@ namespace sls {
         
         //verbose_stream() << "repair " << lit << " " << (ctx.is_unit(lit)?"unit":"") << "\n";
         m_last_literal = lit;
-        if (ctx.rand(20) != 0 && find_nl_moves(lit))
+        if (find_nl_moves(lit))
             return true;
 
         if (find_lin_moves(lit))