  
(set-option :smt.mbqi false) (set-option :auto_config false)
