x-y<=1; x>=0 ; y>=0