符合机器SMT 直接使用的