diff --git a/tests/sat/reg_2022-09-10.smt2 b/tests/sat/reg_2022-09-10.smt2
new file mode 100644
index 00000000..a60368a1
--- /dev/null
+++ b/tests/sat/reg_2022-09-10.smt2
@@ -0,0 +1,10 @@
+
+; falsly declared unsat. minimized
+; from tests/sat/QF_UF_schedule_world.2.prop1_ab_cti_max.smt2 using ddSMT .
+(declare-fun p () Bool)
+(declare-fun y () Bool)
+(assert (= false (not p)))
+(assert p)
+(assert (= y p))
+(assert y)
+(check-sat)