smt_1_a