loading SCIP...
11 42578 true
5 7 9 15 25 30 32 61 62 68 85