loading SCIP...
13 34968 true
0 3 6 18 29 30 42 55 56 62 65 75 77