loading SCIP...
10 42578 true
5 25 38 48 56 59 64 74 78 94