loading SCIP...
17 30657 true
0 6 27 30 42 45 54 56 60 71 78 80 82 90 92 94 97