loading SCIP...
13 37235 true
0 2 4 10 16 18 32 55 61 71 79 82 97