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