Benders' Dekompositionsverfahren Beispiel 3.4

kann mir jmd. erklären wie man im Beispiel 3.4 auf folgende Lösung kommt?

max{z\z<20-3/2x,x>0 ganzzahlig}

x1=0 z=20

bzw.

z = max z
u.d.N.
z<20-3/2x
z<12+11/3x

x2 = 2 und z=17

Viiiiieeeeeeelen Dank!