loading SCIP...
58 78 true
2 5 6 7 8 11 12 13 14 16 17 18 19 23 24 25 32 33 34 35 36 38 40 41 42 44 46 47 48 49 50 52 54 55 56 57 58 61 62 63 64 65 66 69 71 72 73 74 76 81 82 83 85 87 88 90 91 96