loading SCIP...
11 38828 true
0 16 23 32 56 62 67 72 93 95 96