+ 1 x + + 0 1 x + 0 x x 2.2 + 1 x + 0 1 + 1 x + + 0 1 x true + 1 x + + 0 1 x true Failed! NaTT certifiable-1.6