SMT程序编写步骤