loading SCIP...
11 42390 true
11 12 27 35 38 43 52 72 77 97 99