loading SCIP...
18 30718 true
0 2 21 22 28 31 34 38 49 52 54 56 71 75 76 81 86 92