loading SCIP...
33 7250 true
3 6 10 12 14 15 17 19 23 26 28 32 35 37 39 44 46 47 56 60 62 63 64 67 69 70 71 74 78 86 88 93 96