* X + Y 1 + * X + Y * 1 0 X * X 1 X * X 0 X * X 0 0 2.2 * X + Y 1 * 1 0 * X + Y 1 * X + Y * 1 0 true * X + Y 1 * X + Y * 1 0 true Failed! NaTT certifiable-1.6