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