loading SCIP...
17 31203 true
0 2 3 12 20 35 43 59 71 72 76 79 80 86 95 98 99