正在播放:【综合优化】模型检查