From a1b4be79cdc601e3b5455aa1e4e239ddbf77c7df Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Mon, 10 Feb 2025 13:10:24 +0100
Subject: [PATCH] fix

---
 ortools/sat/cp_model_presolve.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
index 62cf2d3ffe..ae405362b4 100644
--- a/ortools/sat/cp_model_presolve.cc
+++ b/ortools/sat/cp_model_presolve.cc
@@ -3650,6 +3650,7 @@ void CpModelPresolver::ProcessOneLinearWithAmo(int ct_index,
     if (!PropagateDomainsInLinear(/*ct_index=*/-1, &temp_ct_)) {
       return;
     }
+    if (context_->ModelIsUnsat()) return;
   }
 
   // Extract enforcement or fix literal.