f a f a x f c f b x f b f b x f a f c x f c f c x f b f a x 2.2 f b f b x f c x f a f a x f b x f a f a x f c f b x f c f c x f b f a x f b f b x f a f c x f c f c x f a x true f c f c x f a x f b f b x f a f c x f c f c x f b f a x f a f a x f b x f a f a x f c f b x f b f b x f c x true a 0 10803 b 0 10803 c 0 10803 f 2 2 20653 f 2 1 2 0 f a f a x f c f b x f c f c x f b f a x f b f b x f a f c x f a f a x f c f b x f c f c x f b f a x f b f b x f a f c x f a f a x f c f b x f c f c x f b f a x f b f b x f a f c x true Failed! NaTT certifiable-1.6