Input: 1 2 3 0
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)