loading SCIP...
10 44141 true
10 12 28 33 55 60 62 63 72 86