- - neg x neg x - neg y neg y - - x y - x y 2.2 - - neg x neg x - neg y neg y - x y - - neg x neg x - neg y neg y - x y - - neg x neg x - neg y neg y - - x y - x y true - - neg x neg x - neg y neg y - - x y - x y - - neg x neg x - neg y neg y - x y - - neg x neg x - neg y neg y - x y true - 2 1 2 1 neg 1 1 36466 - 2 1 2 0 - - neg x neg x - neg y neg y - - x y - x y NaTT certifiable-1.6