loading SCIP...
11 42672 true
17 24 25 37 52 61 64 71 86 87 90