while true x y while lt x y s x s y lt s x s y lt x y lt 0 y true 2.2 while true x y while lt x y s x s y while true x y lt x y lt s x s y lt x y true while true x y while lt x y s x s y true Failed! NaTT certifiable-1.6