SMT 2.0