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