SMT习题答案