diff --git a/src/glpapi19.c b/src/glpapi19.c
index 0019bd1..289df68 100644
--- a/src/glpapi19.c
+++ b/src/glpapi19.c
@@ -87,7 +87,13 @@ int glp_minisat1(glp_prob *P)
                ind[len] = lit_neg(ind[len]);
          }
          xassert(len > 0);
-         xassert(solver_addclause(s, &ind[1], &ind[1+len]));
+         if (!solver_addclause(s, &ind[1], &ind[1+len]))
+         {  /* found trivial conflict */
+            xfree(ind);
+            solver_delete(s);
+            P->mip_stat = GLP_NOFEAS;
+            goto fini;
+         }
       }
       xfree(ind);
       /* call the solver */