loading SCIP...
18 28328 true
0 5 18 27 34 37 39 45 51 52 53 54 60 61 68 83 89 99