loading SCIP...
13 38188 true
12 19 54 55 56 58 59 60 66 69 75 77 99