--sat_mode true 
--schedule none 
--sat_finite_models true 
--clausifier_options --mode tclausify --ignore_unrecognized_logic on --show_fool true --input_syntax smtlib2 -t 200
--suppress_sat_res true
--sub_typing false
