a(x, y) = (1000 * x) + (500 * y) ≤ 36000
b(x) = x ≥ 6
c(y) = y ≥ 6
d(x) = x ≤ 15
e(x, y) = a(x, y) ∧ b(x) ∧ c(y) ∧ d(x)
A, B, C, D, E, F = Vertex(e)
G: (7, 59)
f(x, y) = x + y
g: f(A)
h: f(D)
i: f(C)
j: f(F)
k = -66 (slider from -100 to 0, step 1)
ec1: x + y + k = 0