loading SCIP...
10 38593 true
0 6 16 23 36 39 52 76 86 93