1. sat语法解析