loading SCIP...
11 42078 true
0 6 20 24 25 50 54 76 80 92 94