loading SCIP...
58 78 true
1 2 4 9 10 14 17 20 23 24 26 27 28 29 31 34 37 38 39 40 41 42 44 46 47 48 49 50 51 53 54 58 60 61 62 64 65 66 68 69 70 72 73 75 76 77 78 79 80 84 85 86 90 93 96 97 98 99