1. sat语法总结