diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp
index 7916f66f769..dbe1194cb7e 100644
--- a/src/math/lp/gomory.cpp
+++ b/src/math/lp/gomory.cpp
@@ -561,11 +561,10 @@ struct create_cut {
             bool feas = _check_feasible();
             lra.pop(1);
 
-            if (lia.settings().get_cancel_flag())
-                return lia_move::undef;
-
-            if (!feas)
-                return lia_move::conflict;
+            if (!feas)       
+                for (auto const& cut : big_cuts) 
+                    add_cut(cut);
+            
         }
 
 // this way we create bounds for the variables in polar cases even where the terms had big numbers