y <= 5x - 1 and 3x + y >= 4