diff --git a/light-v3--1 b/light-v3--1
index 857e212..924cc54 100755
Binary files a/light-v3--1 and b/light-v3--1 differ
diff --git a/workers/basekissat.cpp b/workers/basekissat.cpp
index 4916c7a..60ce93d 100644
--- a/workers/basekissat.cpp
+++ b/workers/basekissat.cpp
@@ -55,11 +55,12 @@ int kissat_import_clause(void *solver, int *lbd, cvec* c) {
 
 void kissat_wait_sharing(void *solver) {
     basekissat* S = (basekissat *) solver;
-    // printf("c into Light wait %d %d\n", S->x1, S->x2);
+    // printf("c %d into Light wait\n", S->id);
     S->x1 = S->x2 = 0;
     sharer *s = S->in_sharer;
     {
         boost::mutex::scoped_lock lock(s->mtx);
+        if (s->terminated) return;
         s->waitings += 1;
         lock.unlock();
         // printf("c %d start wait with number %d\n", S->id, s->waitings);