loading SCIP...
13 41360 true
0 9 28 51 53 61 62 75 78 89 92 93 96