Redirecting to Satisfiability Modulo Theories