- x 0 x - s x s y - x y + 0 y y + s x y s + x y * x 0 0 * x s y + x * x y f s x f - * s s 0 s x s s x 2.2 * x s y + x * x y f s x * s s 0 s x + s x y + x y f s x - * s s 0 s x s s x * x s y * x y - s x s y - x y f s x f - * s s 0 s x s s x true f s x f - * s s 0 s x s s x true Failed! NaTT certifiable-1.6