diff --git a/test/concurrent/templates/give-up_sequential.t b/test/concurrent/templates/give-up_sequential.t
index 6cbf2dd..c5a0e19 100644
--- a/test/concurrent/templates/give-up_sequential.t
+++ b/test/concurrent/templates/give-up_sequential.t
@@ -1,2 +1,2 @@
-  $ dune exec -- raven --shh ./give-up_sequential.rav
+  $ dune exec -- raven --shh ./give-up_sequential.rav --smt-timeout 20000
   Verification successful.