loading SCIP...
59 78 true
4 5 8 11 12 13 15 17 18 21 24 25 26 27 30 36 37 38 39 40 41 42 43 47 48 50 51 54 55 57 60 62 63 64 66 68 69 73 74 75 76 77 78 79 80 82 83 84 87 89 90 91 92 93 94 95 96 98 99