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