Input: 1 2 3 4 1 0
Gadget:
1.00: 1 5       (Clause)
1.00: -6 -1     (Clause)
1.00: -1 7      (Clause)
1.00: 8 1       (Clause)
1.00: 5 -2      (Clause)
1.00: 2 -6      (Clause)
1.00: -2 7      (Clause)
1.00: 8 2       (Clause)
1.00: -5 -3     (Clause)
1.00: -8 3      (Clause)
1.00: -4 6      (Clause)
1.00: -7 4      (Clause)