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