SMT 2.8 ,