SMT的考题知识