loading SCIP...
8 33375 true
12 36 51 54 55 71 74 99