Satisfiability_modulo_theories loading ...