loading SCIP...
11 41250 true
10 15 17 19 36 53 57 59 67 72 76