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