loading SCIP...
12 39844 true
0 1 2 12 21 25 39 57 73 76 94 95