loading SCIP...
33 7968 true
4 9 10 13 15 20 21 24 28 32 35 36 38 39 50 54 60 62 66 67 68 71 72 73 80 81 84 85 90 91 94 95 99