在sat_engine添加了处理过程的assert