loading SCIP...
11 40516 true
0 2 10 15 19 30 37 56 67 87 96