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