y <= 3x +2