diff --git a/prover/lib/testlists.py b/prover/lib/testlists.py
index a4159231d..6546a6d02 100644
--- a/prover/lib/testlists.py
+++ b/prover/lib/testlists.py
@@ -86,6 +86,7 @@ def read_list(file):
              , ('unfold-mut-recs . ',   10, 16, '20m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2'])
              , ('unfold-mut-recs . ',    6, 16, '10m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2'])
              , ('unfold-mut-recs . ',   12, 18, '75m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2'])
+             , ('unfold-mut-recs . ',   14, 21,'220m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2'])
              ## these 3 tests should go  through with this strategy, but they will need a very high
              ## time bound (>60m)
              # , ('unfold-mut-recs . ',   14, 20, '60m', ['t/SL-COMP18/bench/qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2'])