loading SCIP...
17 34500 true
11 19 23 29 30 35 39 60 63 67 81 86 92 93 94 95 97