loading SCIP...
13 33562 true
9 10 12 30 46 51 62 71 73 80 86 89 97