loading SCIP...
63 78 true
0 1 2 5 6 7 9 12 13 14 15 17 18 19 20 21 22 23 26 27 28 29 31 33 34 35 38 39 41 43 45 46 48 49 50 51 54 55 56 57 58 59 60 62 63 68 70 71 73 75 76 77 80 81 84 88 89 90 92 93 95 96 97