A - B == -3
A - C <= 1
B - D <= 5
C     <= 8
E - F <= -5
F - A <= 10
E - C <= 2
C - D <= -1
D - F <= 0
G - A <= -20
A - G <= 20
H - A <= 13
-H    <= 2
A - I <= -3