diff --git a/scripts/smt2-bmc/sync.py b/scripts/smt2-bmc/sync.py
index 23cadc6..e73ee99 100644
--- a/scripts/smt2-bmc/sync.py
+++ b/scripts/smt2-bmc/sync.py
@@ -3,7 +3,7 @@
 import os, sys, getopt
 from smtio import smtio, smtopts
 
-steps = 20
+steps = 14
 words = 0
 allmem = False
 so = smtopts()