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