loading SCIP...
11 41235 true
15 22 56 58 61 68 70 79 82 86 88