loading SCIP...
11 38046 true
0 36 37 42 45 61 68 69 71 73 96