loading SCIP...
19 26110 true
0 3 8 13 15 21 27 28 31 35 40 50 55 58 65 67 80 84 89