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