+ + x y z + x + y z + f x f y f + x y + f x + f y z + f + x y z 2.2 + f x + f y z + f + x y z + + x y z + y z + f x + f y z + x y + f x f y + x y + + x y z + x + y z true + + x y z + x + y z + f x f y + x y + f x + f y z + x y + + x y z + y z + f x + f y z + f + x y z true f 1 1 1 + 2 1 2 39 + 2 1 2 0 + + x y z + x + y z + + x y z + x + y z + f x + f y z + f + x y z + f x f y f + x y + + x y z + x + y z true f 1 1 1 + 2 1 2 39 + 2 1 0 + + x y z + x + y z + f x + f y z + f + x y z + f x f y f + x y NaTT certifiable-1.6