loading SCIP...
14 34437 true
8 20 27 30 36 40 61 62 64 79 89 90 93 94