loading SCIP...
12 40406 true
0 16 21 27 29 53 54 62 74 81 85 86