From 7311af699cee2ab5dcbcbcf294445659a29ef0f7 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 11 Mar 2024 15:02:55 +0100
Subject: [PATCH] fix

---
 src/sat/smt/polysat/viable.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/polysat/viable.cpp b/src/sat/smt/polysat/viable.cpp
index aba3d1322..cee03f37b 100644
--- a/src/sat/smt/polysat/viable.cpp
+++ b/src/sat/smt/polysat/viable.cpp
@@ -816,7 +816,7 @@ namespace polysat {
             unsigned remaining_z_off = z_sz - remaining_z_sz;
             // find next fixed slice (prefer lower level)
             fixed_slice_extra best;
-            unsigned best_off = UINT_MAX;
+            unsigned best_off = z_sz;
             for (auto const& f : fixed) {
                 if (f.level >= w_level)
                     continue;