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