loading SCIP...
9 41281 true
0 2 24 25 40 44 51 85 94