From 6e767795dbd1192359ce578f4294827b15b151c8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 14 Sep 2025 13:43:10 -0700
Subject: [PATCH] set status to unknown

---
 src/api/python/z3/z3.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 6d534c185..051265a78 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -7509,7 +7509,7 @@ class Solver(Z3PPObject):
         >>> s = SimpleSolver()
         >>> s.add(x == 2**x)
         >>> s.check()
-        sat
+        unknown
         >>> s.reason_unknown()
         '(incomplete (theory arithmetic))'
         """