sat语法求解 我想问一下c为什么不对?