loading SCIP...
13 37594 true
0 6 11 22 23 31 45 61 71 80 81 89 94