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))'
         """