From d1d0b4b5a2a52b1eaee9890ddada059bc11ef191 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Mon, 22 Nov 2021 11:52:13 +0100
Subject: [PATCH] fix

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

diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
index 8b9934f88d..6a4736137e 100644
--- a/ortools/sat/cp_model_presolve.cc
+++ b/ortools/sat/cp_model_presolve.cc
@@ -7301,6 +7301,8 @@ CpSolverStatus CpModelPresolver::Presolve() {
     }
   }
 
+  if (context_->ModelIsUnsat()) return InfeasibleStatus();
+
   // If the objective is a floating point one, we scale it.
   //
   // TODO(user): We should probably try to delay this even more. For that we