{2*d+s+r+y = 1 + 2*z, y <= x-r, x + 1/2 <= d + r + y, 1 <= 5d/4 + r + y + z, x + s + 1/2 <= d + r + y + z, d<1/2}