x≤4y+2 and x+y>0