t3这个结论对吗：

(不妨x1<y1,xn<ym)无解当且仅当对于每个i,j 存在 i0<=i<=i1,j0<=j<=j1

使得 xi0,xi1<yj 且 xi<yj0,yj1

这东西能过所有大样例，但是云斗上wa了，不会假了吧？？？！！！！！！！