loading SCIP...
10 38218 true
1 15 22 25 32 36 49 53 59 72