diff --git a/certora/confs/ExactMath.conf b/certora/confs/ExactMath.conf
index 9c4434e3f..c7fd84c69 100644
--- a/certora/confs/ExactMath.conf
+++ b/certora/confs/ExactMath.conf
@@ -9,6 +9,7 @@
         "-depth 3",
         "-smt_hashingScheme plaininjectivity",
         "-mediumTimeout 30",
+        "-timeout 3600",
     ],
     "server": "production",
     "msg": "Morpho Blue Exact Math"