loading SCIP...
62 78 true
1 3 5 6 8 9 10 12 14 16 19 20 21 22 23 24 25 27 29 30 31 33 35 37 38 39 40 41 42 44 45 46 48 50 54 55 56 57 59 60 61 62 63 64 67 68 69 72 73 75 76 78 80 82 84 86 90 91 92 94 97 98