loading SCIP...
11 37000 true
0 1 6 14 23 30 38 44 47 81 83