loading SCIP...
11 40578 true
7 19 26 38 44 60 67 75 76 81 99