loading SCIP...
10 45218 true
0 4 23 50 57 59 64 69 90 95