loading SCIP...
65 78 true
0 1 3 4 7 12 14 16 18 20 21 22 23 24 25 27 28 29 32 33 34 35 36 38 41 42 43 44 45 46 49 50 51 52 53 55 56 58 61 62 63 64 67 68 69 70 71 73 74 75 76 78 79 80 81 83 84 87 88 89 90 93 95 96 98