diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp
index 761e19b67..d65446ef7 100644
--- a/src/ast/sls/sls_bv_lookahead.cpp
+++ b/src/ast/sls/sls_bv_lookahead.cpp
@@ -76,7 +76,7 @@ namespace sls {
             if (apply_guided_move(vars))
                 continue;
 
-            if (apply_flip())
+            if (false && apply_flip())
                 return;
 
             // bail out if no progress, and try random update