SMT点数核算方法