loading SCIP...
11 44234 true
1 3 12 13 18 30 35 40 41 51 85