diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
index 51604fb47..974c48d14 100644
--- a/src/math/lp/nla_grobner.cpp
+++ b/src/math/lp/nla_grobner.cpp
@@ -45,14 +45,19 @@ namespace nla {
         if (is_conflicting())
             return;
 
-        if (propagate_bounds())
-            return;
+        try {
+            if (propagate_bounds())
+                return;
 
-        if (propagate_eqs())
-            return;
+            if (propagate_eqs())
+                return;
 
-        if (propagate_factorization())
-            return;
+            if (propagate_factorization())
+                return;
+        }
+        catch (...) {
+            
+        }
 
         if (quota > 1)
             quota--;