Input: 1 2 3 4 1 1
Gadget:
1.00: -5 -1     (Clause)
1.00: -1 6      (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: 3 5       (Clause)
1.00: -6 -3     (Clause)
1.00: 4 7       (Clause)
1.00: 8 -4      (Clause)