loading SCIP...
10 44828 true
10 20 26 36 59 64 71 84 91 92