loading SCIP...
26 17500 true
0 5 7 16 18 20 21 23 24 27 28 30 33 34 36 38 44 45 49 59 60 69 75 79 86 92