h 1 1 x1 1 h x1 1 1 h b x1 1 1 s b x1 1 s x1 s 1 x1 b s x1 b h x1 h 1 b x1 t 1 1 b x1 1 t x1 t 1 1 1 x1 b t x1 b h x1 2.2 1 1 h b x1 1 s b x1 b t x1 b h x1 b s x1 h x1 1 s x1 1 x1 h 1 1 x1 h x1 b s x1 b h x1 b t x1 h x1 h 1 1 x1 1 h x1 1 t x1 1 x1 1 t x1 1 1 1 x1 1 1 h b x1 1 1 s b x1 h 1 b x1 1 1 b x1 1 t x1 1 1 x1 true b s x1 b h x1 b t x1 b h x1 true Failed! NaTT certifiable-1.6