diff --git a/certora/confs/LiquidateBuffer.conf b/certora/confs/LiquidateBuffer.conf
index 1155e981..e36d27e1 100644
--- a/certora/confs/LiquidateBuffer.conf
+++ b/certora/confs/LiquidateBuffer.conf
@@ -7,7 +7,7 @@
   "verify": "MorphoHarness:certora/specs/LiquidateBuffer.spec",
   "prover_args": [
     "-depth 5",
-    "-mediumTimeout 5",
+    "-mediumTimeout 20",
     "-timeout 3600",
     "-adaptiveSolverConfig false",
     "-smt_nonLinearArithmetic true",