loading SCIP...
13 38375 true
10 15 16 20 21 25 29 34 36 59 62 69 88