Input: 1 2 3 4 1 1
Gadget:
0.50: 1 3       (CUT)
0.50: 1 4       (CUT)
1.00: 1 5       (CUT)
1.00: 1 6       (CUT)
1.00: 2 4       (CUT)
1.00: 2 5       (CUT)
1.00: 2 7       (CUT)
1.00: 3 6       (CUT)
1.00: 4 5       (CUT)
1.00: 6 7       (CUT)
1.00: 1 (PosClause)
0.50: 3 (PosClause)
0.50: 4 (PosClause)
1.00: 5 (PosClause)
1.00: 6 (PosClause)