控制器不存在:grated_2-sat