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