1 files changed, 2 insertions, 3 deletions
diff --git a/src/sat/satoko/act_clause.h b/src/sat/satoko/act_clause.h
index 2e80a1e6..1465e5ee 100644
--- a/src/sat/satoko/act_clause.h
+++ b/src/sat/satoko/act_clause.h
@@ -56,10 +56,9 @@ static inline void clause_act_rescale(solver_t *s)
 
     vec_uint_foreach(s->learnts, cref, i) {
         clause = clause_read(s, cref);
-        clause->data[clause->size].act >>= 14;
+        clause->data[clause->size].act >>= 10;
     }
-    s->clause_act_inc >>= 14;
-    s->clause_act_inc = mkt_uint_max(s->clause_act_inc, (1 << 10));
+    s->clause_act_inc = stk_uint_max((s->clause_act_inc >> 10), (1 << 11));
 }
 
 static inline void clause_act_bump(solver_t *s, struct clause *clause)