{Divide[x,2]+y≥2, Divide[x-2y,3]≤1}