loading SCIP...
17 30265 true
9 18 27 30 42 46 54 55 60 62 63 86 87 88 92 97 99