loading SCIP...
12 40266 true
0 10 27 32 43 50 65 70 81 82 88 90