y>=4, x>=1, x + 2y<=16, y-x<=5