a b x b b a x 2.2 a b x a x true a b x a x true a 1 0 b 1 1 1 a 1 1 0 NaTT certifiable-1.6