loading SCIP...
13 36219 true
1 3 15 25 31 41 51 52 53 84 92 96 98