min 0 y 0 min x 0 0 min s x s y s min x y max 0 y y max x 0 x max s x s y s max x y twice 0 0 twice s x s s twice x - x 0 x - s x s y - x y p s x x f s x s y f - max s x s y min s x s y p twice min x y 2.2 f s x s y f - max s x s y min s x s y p twice min x y f s x s y p twice min x y - s x s y - x y twice s x twice x f s x s y twice min x y min s x s y min x y f s x s y min s x s y f s x s y - max s x s y min s x s y max s x s y max x y f s x s y min x y f s x s y max s x s y true f s x s y f - max s x s y min s x s y p twice min x y true Failed! NaTT certifiable-1.6