loading SCIP...
13 34890 true
17 23 35 36 37 40 45 49 54 75 77 80 99