loading SCIP...
11 43922 true
11 30 32 35 37 55 70 75 78 85 92