loading SCIP...
49 78 true
2 4 6 9 11 12 14 15 16 20 22 23 30 31 32 35 37 39 40 42 43 49 50 51 54 55 56 57 58 64 66 67 70 71 73 76 77 84 85 86 87 88 89 90 91 93 94 96 97