loading SCIP...
14 35015 true
13 15 25 33 41 43 44 45 64 68 69 70 77 95