c speed 517.0940170940171 dec/s, 1/102
c speed 552.8455284552846 dec/s, 2/181
c speed 500.0 dec/s, 1/19
c speed 250.0 dec/s, 1/4
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 13000.0 dec/s, 1/9
c speed Infinity dec/s, 1/0
c speed 34500.0 dec/s, 1/43
c speed Infinity dec/s, 1/0
c speed 25166.666666666668 dec/s, 1/100
c speed 28750.0 dec/s, 2/251
c speed 30200.0 dec/s, 3/324
c speed Infinity dec/s, 1/0
c speed 31200.0 dec/s, 1/100
c speed 24285.714285714286 dec/s, 2/252
c speed 26916.666666666668 dec/s, 3/477
c speed 30324.324324324327 dec/s, 4/816
c speed 32285.714285714286 dec/s, 5/1322
c speed 35333.333333333336 dec/s, 6/2083
c speed 34484.12698412698 dec/s, 7/3222
c speed 36928.17679558011 dec/s, 8/4931
c speed 36824.17582417582 dec/s, 9/4945
c speed Infinity dec/s, 1/0
c speed 54000.0 dec/s, 1/100
c speed 37333.333333333336 dec/s, 2/250
c speed 36277.77777777778 dec/s, 3/476
c speed 36741.93548387097 dec/s, 4/815
c speed 37306.12244897959 dec/s, 5/1321
c speed 36265.82278481012 dec/s, 6/2080
c speed 35598.425196850396 dec/s, 7/3220
c speed 35863.87434554974 dec/s, 8/4929
c speed 35406.1433447099 dec/s, 9/7492
c speed 35440.715883668905 dec/s, 10/11336
c speed 35155.882352941175 dec/s, 11/17105
c speed 35899.308983218165 dec/s, 12/25755
c speed 36361.829025844934 dec/s, 13/38730
c speed 35651.93965517241 dec/s, 14/47023
c speed 36000.0 dec/s, 1/0
c speed 42250.0 dec/s, 1/100
c speed 34000.0 dec/s, 2/251
c speed 32047.619047619046 dec/s, 3/476
c speed 28815.78947368421 dec/s, 4/815
c speed 27843.75 dec/s, 5/1322
c speed 28030.30303030303 dec/s, 6/2081
c speed 27210.191082802547 dec/s, 7/3220
c speed 27953.191489361703 dec/s, 8/4932
c speed 27481.792717086835 dec/s, 9/7495
c speed 27560.07393715342 dec/s, 10/11339
c speed 28917.705735660846 dec/s, 11/17106
c speed 28453.125 dec/s, 12/25757
c speed 29126.186487995536 dec/s, 13/38733
c speed 29684.289463817026 dec/s, 14/58195
c speed 30267.036850075718 dec/s, 15/87388
c speed 30021.156088622356 dec/s, 16/131177
c speed 30329.73874374653 dec/s, 17/196863
c speed 29944.03067620382 dec/s, 18/295389
c speed 29778.453390869414 dec/s, 19/443178
c speed 29986.746276491045 dec/s, 20/664863
c speed 29947.138964577658 dec/s, 21/997391
c speed 29442.708691762437 dec/s, 22/1245880
c speed 45000.0 dec/s, 1/0
c speed 44250.0 dec/s, 1/100
c speed 29769.23076923077 dec/s, 2/250
c speed 24481.48148148148 dec/s, 3/475
c speed 24021.27659574468 dec/s, 4/813
c speed 23276.315789473683 dec/s, 5/1319
c speed 22847.457627118645 dec/s, 6/2078
c speed 23055.24861878453 dec/s, 7/3217
c speed 23109.48905109489 dec/s, 8/4926
c speed 24034.063260340634 dec/s, 9/7489
c speed 24427.406199021207 dec/s, 10/11334
c speed 24494.054054054053 dec/s, 11/17101
c speed 24463.309352517987 dec/s, 12/25752
c speed 24270.644391408114 dec/s, 13/38727
c speed 24089.735516372795 dec/s, 14/58190
c speed 24587.32184641566 dec/s, 15/87383
c speed 24622.71632913185 dec/s, 16/131173
c speed 25025.680045653415 dec/s, 17/196859
c speed 25353.564853025207 dec/s, 18/295385
c speed 26540.820715760496 dec/s, 19/443174
c speed 26982.859616216996 dec/s, 20/664858
c speed 26326.214548070733 dec/s, 21/997384
c speed 26157.79336044213 dec/s, 22/1496174
c speed 26488.042717234515 dec/s, 23/2244358
c speed 26311.40380275711 dec/s, 24/3366633
c speed 25911.136969554136 dec/s, 25/5050044
c speed 26004.766476007626 dec/s, 26/5586592