diff --git a/modules/4337/certora/requirements.txt b/modules/4337/certora/requirements.txt
index b5c9c5e0..07e7336e 100644
--- a/modules/4337/certora/requirements.txt
+++ b/modules/4337/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.14.3
+certora-cli==7.20.3