diff --git a/specs/runFixedPoint.sh b/specs/runFixedPoint.sh
index 393b70c31..507b9e315 100644
--- a/specs/runFixedPoint.sh
+++ b/specs/runFixedPoint.sh
@@ -1 +1 @@
-certoraRun ./FixedPointHarness.sol --verify FixedPointHarness:./fixedPoint.spec --path ../../ --settings -useNonLinearArithmetic --staging opyn/1
\ No newline at end of file
+certoraRun ./FixedPointHarness.sol --verify FixedPointHarness:./fixedPoint.spec --path ../../ --settings -useNonLinearArithmetic,-s=cvc4 --staging opyn/2
\ No newline at end of file