loading SCIP...
20 25672 true
5 15 21 33 37 44 46 54 56 59 63 69 71 72 73 80 93 95 98 99