loading SCIP...
12 38828 true
1 4 18 25 53 55 62 72 77 82 84 96