loading SCIP...
12 41547 true
0 1 6 8 10 33 47 52 82 88 94 95