SAT语法