loading SCIP...
61 78 true
0 1 2 7 8 9 12 17 18 21 23 25 26 27 32 33 34 35 36 37 38 39 40 43 44 45 46 47 49 53 54 55 56 57 58 59 60 63 64 65 66 67 70 71 72 73 74 75 77 78 80 82 85 86 88 89 94 95 96 97 99