diff --git a/.unreleased/features/z3-stats.md b/.unreleased/features/z3-stats.md
new file mode 100644
index 0000000000..a3011f003a
--- /dev/null
+++ b/.unreleased/features/z3-stats.md
@@ -0,0 +1 @@
+Periodically print Z3 statistics when `--debug` is on (#2992)