loading SCIP...
18 26203 true
0 16 17 22 25 29 31 33 34 44 62 64 69 76 92 93 97 98