From 82733e817b30f48c3b3353d6bcafff52e7a6ff29 Mon Sep 17 00:00:00 2001
From: Dianne Skoll <dianne@skoll.ca>
Date: Tue, 20 Jan 2026 15:19:23 -0500
Subject: [PATCH] Increase default value of $MaxSatIter from 1000 to 10000.

---
 man/remind.1.in | 2 +-
 src/globals.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/man/remind.1.in b/man/remind.1.in
index b806a84b..4559aefb 100644
--- a/man/remind.1.in
+++ b/man/remind.1.in
@@ -3259,7 +3259,7 @@ near the beginning of the file and not change it after that.
 .TP
 .B $MaxSatIter
 The maximum number of iterations for the \fBSATISFY\fR clause
-(described later.)  Must be at least 10.
+(described later.)  Must be at least 10.  The default value is 10,000.
 .TP
 .B $MaxStringLen
 A limit on the longest string that \fBRemind\fR will allow you
diff --git a/src/globals.h b/src/globals.h
index a21a5c4e..701c71da 100644
--- a/src/globals.h
+++ b/src/globals.h
@@ -127,7 +127,7 @@ EXTERN  INIT(   int     DefaultColorB, -1);
 EXTERN  INIT(   int     DefaultColorG, -1);
 EXTERN  INIT(   int     SynthesizeTags, 0);
 EXTERN  INIT(   int     ScFormat, SC_AMPM);
-EXTERN  INIT(   int     MaxSatIter, 1000);
+EXTERN  INIT(   int     MaxSatIter, 10000);
 EXTERN  INIT(   int     MaxStringLen, MAX_STR_LEN);
 EXTERN  INIT(   int     UseStdin, 0);
 EXTERN  INIT(   int     PurgeMode, 0);