From a7495876fdaf6265814f35559bf684ae24accb64 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Mar 2020 03:06:02 -0700
Subject: [PATCH] fix #3506 fix #3505

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/maxlex.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index 5ef028d44..0582037cb 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -131,7 +131,14 @@ namespace opt {
             }
             model_ref mdl;
             s().get_model(mdl);
-            if (mdl) update_assignment(mdl);           
+            if (mdl) {
+                for (auto & soft : m_soft) {
+                    if (!mdl->is_true(soft.s)) {
+                        break;
+                    }
+                    soft.set_value(l_true);
+                }
+            }
         }
 
         //