diff --git a/src/opt/opt_params.pyg b/src/opt/opt_params.pyg
index 13049986a..ef92af54b 100644
--- a/src/opt/opt_params.pyg
+++ b/src/opt/opt_params.pyg
@@ -8,7 +8,7 @@ def_module_params('opt',
                           ('dump_benchmarks', BOOL, False, 'dump benchmarks for profiling'),
                           ('print_model', BOOL, False, 'display model for satisfiable constraints'),
                           ('enable_sls', BOOL, False, 'enable SLS tuning during weighted maxsast'),
-                          ('enable_sat', BOOL, False, 'enable the new SAT core for propositional constraints'),
+                          ('enable_sat', BOOL, True, 'enable the new SAT core for propositional constraints'),
                           ('elim_01', BOOL, True, 'eliminate 01 variables'),
                           ('pp.neat', BOOL, True, 'use neat (as opposed to less readable, but faster) pretty printer when displaying context'),
                           ('pb.compile_equality', BOOL, False, 'compile arithmetical equalities into pseudo-Boolean equality (instead of two inequalites)'),