0 + x + 0 y + 0 z >= 0
...

8 + -1 x + 17 y + 0 z >= 0