loading SCIP...
15 37578 true
3 12 25 32 41 56 60 66 72 74 76 78 96 98 99