loading SCIP...
13 38390 true
0 8 22 31 41 47 63 64 73 74 82 85 91