0≤x≤y≤2x && 1≤x+2y≤4