loading SCIP...
8 40578 true
8 23 27 31 44 55 72 98