loading SCIP...
19 26203 true
0 2 8 10 28 41 47 49 52 53 55 58 62 65 77 89 94 96 97