loading SCIP...
26 12484 true
0 11 14 16 23 29 31 33 34 36 37 38 40 45 52 53 56 57 59 61 67 70 75 90 98 99