y>0.5x + 7, y>=5, x>=4