SMT必须知道的101问题