loading SCIP...
12 42437 true
17 26 32 50 54 59 61 82 86 88 94 98