diff --git a/smt/smt_checker_rsc.py b/smt/smt_checker_rsc.py
index 727f0f3..849aa4f 100644
--- a/smt/smt_checker_rsc.py
+++ b/smt/smt_checker_rsc.py
@@ -38,7 +38,7 @@ class SmtCheckerRSC(object):
         
         self.loop_position = Int("loop_position")
         
-        self.solver = SolverFor("QF_FD")
+        self.solver = Solver() #For("QF_FD")
         
         self.verification_time = None