SMT相关知识