loading SCIP...
11 42094 true
0 20 27 28 47 48 50 56 69 75 83