I think of "N<=50" as "N,M<=50". Actually M<=N*(N-1)/2. It's a stupid mistake but it took me so much time to check out TAT
(btw, the point to solve the question is GCD(x,x+1)=1, it can be proved that the answer is always "YES".