路由器上同时运行了OSPFv3和ISIS，需要把OSPFv3的路由引入到ISIS，请问下述哪几种引入配置是正确的：