SMT检验