loading SCIP...
9 50328 true
4 15 30 37 41 45 49 57 84