loading SCIP...
17 32578 true
12 18 26 38 40 41 43 46 51 58 59 64 81 88 90 91 99