y>0 and min(y+2, max(|x-1|,|y-2|))<5