dfib s s x y dfib s x dfib x y 2.2 dfib s s x y dfib x y dfib s s x y dfib s x dfib x y true dfib s s x y dfib s x dfib x y dfib s s x y dfib x y true s 1 1 2 dfib 2 1 dfib 2 1 2 0 dfib s s x y dfib s x dfib x y NaTT certifiable-1.6