loading SCIP...
11 40531 true
0 2 9 21 30 36 50 62 85 98 99