loading SCIP...
11 41937 true
10 11 20 25 37 50 52 66 68 73 82