loading SCIP...
17 30484 true
0 18 19 21 30 41 44 52 63 65 68 71 80 82 86 92 99