loading SCIP...
9 48343 true
6 12 17 33 37 43 58 86 97