SMT点数计算方法