+ 0 y y + s x y s + x y + s x y + x s y 2.2 + s x y + x s y + s x y + x y true + s x y + x y + s x y + x s y true s 1 1 1 0 0 0 + 2 0 + 2 1 0 NaTT certifiable-1.6