loading SCIP...
54 78 true
1 4 5 7 12 14 16 19 20 24 26 31 34 35 39 41 42 44 45 46 48 49 51 52 53 54 55 59 61 62 64 65 67 69 70 71 74 75 77 78 79 81 83 85 86 87 89 90 91 95 96 97 98 99