loading SCIP...
10 44297 true
0 4 28 30 35 51 59 87 88 99