c speed 3750.0 dec/s, 1/101
c speed 6340.425531914893 dec/s, 2/252
c speed 6783.333333333334 dec/s, 3/356
c speed 11000.0 dec/s, 1/23
c speed Infinity dec/s, 1/3
c inconsistent constraint:  -L2 +L3 +L4 -L5 +L11 -L12 +L13 -L14 -L15 -L19 +L20 +L22 -L23 -L24 +L25 -L26 -L27 -L28 +L33 +L35 >= 4
c lits: 27,28,29,2,4,5,6,7,30,32,9,11,12,13,14,15,25,16,34,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L2 -L3 +L4 +L5 +L7 -L8 -L9 -L10 +L12 -L13 -L14 +L18 +L22 -L27 +L30 +L31 -L32 +L33 +L35 >= 5
c lits: 1,27,28,29,2,3,22,23,24,5,6,7,31,11,25,26,17,18,34,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 -L2 -L3 -L5 +L9 +L10 -L12 -L14 +L17 +L18 -L19 +L20 -L23 +L27 -L28 -L29 -L31 -L33 +L34 +L35 >= 6
c lits: 1,27,28,2,23,24,5,7,35,31,32,9,12,25,16,33,17,34,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 -L4 +L5 -L6 -L8 +L10 -L13 -L14 -L15 +L16 +L17 -L18 -L20 -L23 +L24 +L27 +L28 +L30 -L31 +L35 >= 7
c lits: 1,29,2,21,22,24,6,7,30,8,35,31,9,12,13,25,16,26,17,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L2 +L3 -L4 +L7 -L9 -L12 +L15 -L16 +L18 -L19 +L21 +L25 +L26 -L27 +L29 -L30 +L33 -L34 +L35 >= 8
c lits: 1,27,28,29,3,23,5,30,8,31,32,10,14,15,25,33,26,34,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L6 -L7 +L8 -L9 +L10 +L12 -L13 -L14 +L20 -L22 -L23 -L24 -L25 +L27 +L28 +L30 -L31 -L32 -L34 +L35 >= 9
c lits: 21,3,22,23,24,5,6,7,9,11,12,13,14,25,16,26,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 10
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 11
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 12
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 13
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 14
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 15
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 16
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 17
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 18
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c speed 6000.0 dec/s, 1/0
c speed Infinity dec/s, 1/9
c speed 10000.0 dec/s, 1/0
c speed 49000.0 dec/s, 1/35
c speed Infinity dec/s, 1/0
c speed 48333.333333333336 dec/s, 1/101
c speed 53000.0 dec/s, 2/251
c speed 46000.0 dec/s, 3/286
c speed Infinity dec/s, 1/0
c speed 75000.0 dec/s, 1/101
c speed 66833.33333333333 dec/s, 2/251
c speed 67636.36363636365 dec/s, 3/476
c speed 64894.73684210527 dec/s, 4/814
c speed 66724.13793103448 dec/s, 5/1321
c speed 72690.47619047618 dec/s, 6/2080
c speed 73583.33333333334 dec/s, 7/3000
c speed 28000.0 dec/s, 1/0
c speed 78000.0 dec/s, 1/101
c speed 76200.0 dec/s, 2/252
c speed 79888.88888888889 dec/s, 3/478
c speed 76000.0 dec/s, 4/816
c speed 77153.84615384616 dec/s, 5/1322
c speed 74951.21951219512 dec/s, 6/2082
c speed 71846.15384615384 dec/s, 7/3221
c speed 72597.93814432989 dec/s, 8/4930
c speed 71575.34246575343 dec/s, 9/7494
c speed 71828.82882882883 dec/s, 10/11338
c speed 72324.32432432432 dec/s, 11/17106
c speed 71831.01391650099 dec/s, 12/25757
c speed 71725.23117569352 dec/s, 13/38732
c speed 70206.48648648648 dec/s, 14/46815
c speed Infinity dec/s, 1/0
c speed 81500.0 dec/s, 1/101
c speed 85200.0 dec/s, 2/251
c speed 85777.77777777778 dec/s, 3/476
c speed 82375.0 dec/s, 4/814
c speed 83807.69230769231 dec/s, 5/1320
c speed 78428.57142857142 dec/s, 6/2079
c speed 76060.60606060606 dec/s, 7/3220
c speed 71461.53846153847 dec/s, 8/4930
c speed 69308.17610062893 dec/s, 9/7493
c speed 68244.8132780083 dec/s, 10/11337
c speed 66500.0 dec/s, 11/17105
c speed 66846.01449275362 dec/s, 12/25755
c speed 66992.74486094317 dec/s, 13/38730
c speed 65500.39840637451 dec/s, 14/58193
c speed 65090.71618037135 dec/s, 15/87387
c speed 65931.59957249733 dec/s, 16/131176
c speed 67003.11153662039 dec/s, 17/196861
c speed 65420.87912087912 dec/s, 18/295387
c speed 65092.75876460768 dec/s, 19/443178
c speed 64767.344954510736 dec/s, 20/664862
c speed 63195.42072123641 dec/s, 21/791611
c speed 45000.0 dec/s, 1/0
c speed 85500.0 dec/s, 1/101
c speed 69166.66666666667 dec/s, 2/252
c speed 66181.81818181819 dec/s, 3/478
c speed 64157.89473684211 dec/s, 4/816
c speed 64225.8064516129 dec/s, 5/1322
c speed 65812.5 dec/s, 6/2081
c speed 61701.2987012987 dec/s, 7/3220
c speed 59697.47899159664 dec/s, 8/4929
c speed 59010.98901098901 dec/s, 9/7492
c speed 57956.52173913043 dec/s, 10/11336
c speed 58526.57004830918 dec/s, 11/17106
c speed 58704.83870967742 dec/s, 12/25757
c speed 59666.30669546436 dec/s, 13/38732
c speed 58577.33428367783 dec/s, 14/58194
c speed 59240.19138755981 dec/s, 15/87387
c speed 57910.349166404536 dec/s, 16/131176
c speed 57582.93244091194 dec/s, 17/196861
c speed 57282.56651884701 dec/s, 18/295387
c speed 56626.92307692308 dec/s, 19/443176
c speed 57054.16641193373 dec/s, 20/664861
c speed 56158.09370601247 dec/s, 21/997388
c speed 55864.79788963201 dec/s, 22/1496177
c speed 55521.50726882326 dec/s, 23/2244360
c speed 55614.525793465036 dec/s, 24/3366634
c speed 54107.31636519188 dec/s, 25/5050045
c speed 53397.63114220713 dec/s, 26/7575163
c speed 52959.4047091071 dec/s, 27/11362840
c speed 52958.68123956281 dec/s, 28/11367359