SAT平行结构