loading SCIP...
63 78 true
0 1 2 3 6 7 8 9 10 11 12 14 16 17 20 23 25 28 29 30 34 35 37 38 40 41 43 44 45 46 47 50 53 55 57 58 59 61 62 63 64 65 66 68 69 71 72 74 75 77 78 80 81 82 85 87 89 90 91 93 94 95 99