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