loading SCIP...
65 78 true
3 5 6 8 10 11 12 13 16 17 19 20 21 24 26 27 29 30 31 32 34 35 38 39 40 42 43 45 46 47 48 50 51 52 53 55 56 58 61 66 67 69 70 72 73 75 76 77 78 80 81 82 83 87 88 89 91 92 93 94 95 96 97 98 99