3x+y <= 5