loading SCIP...
11 42578 true
12 26 33 48 57 61 62 63 64 68 70