loading SCIP...
13 34532 true
11 12 26 28 60 64 69 76 83 84 90 92 99