diff --git a/runUserConfigCLI.sh b/runUserConfigCLI.sh
index f3ddbacc..776c032e 100644
--- a/runUserConfigCLI.sh
+++ b/runUserConfigCLI.sh
@@ -1 +1 @@
-certoraRun specs/harness/UserConfigurationHarness.sol  --solc solc6.8 --verify UserConfigurationHarness:specs/UserConfiguration.spec --settings -useBitVectorTheory --staging master
+certoraRun specs/harness/UserConfigurationHarness.sol  --solc solc6.12 --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args '--optimize' --settings -useBitVectorTheory --staging