SMT_F1