Input: 1 2 3 1
Gadget:
1.00: 3 -1 -2   (Clause)
1.00: 2 -3 -1   (Clause)
1.00: 1 -3 -2   (Clause)
1.00: 1 2 3     (Clause)