loading SCIP...
8 34235 true
25 42 55 67 71 83 86 94