loading SCIP...
53 78 true
0 1 3 4 5 6 7 11 12 13 14 16 17 18 19 23 24 26 28 30 31 32 33 36 37 38 42 44 45 46 47 48 49 50 54 56 59 61 64 66 68 69 72 73 75 83 85 89 94 95 96 98 99