f x a b c y f b c a b x y f a x y f x a y f b x y f x b y f c x y f x c y 2.2 f b x y f x b y f x a b c y f b c a b x y f a x y f x a y f c x y f x c y true f c x y f x c y f a x y f x a y f x a b c y f b c a b x y f b x y f x b y true Failed! NaTT certifiable-1.6