loading SCIP...
16 31625 true
15 25 26 30 33 35 45 46 54 60 69 70 73 75 86 97