loading SCIP...
47 93 true
3 5 8 9 10 13 14 15 16 19 21 22 25 28 32 33 34 36 37 39 41 45 47 56 62 63 64 66 67 68 71 73 75 77 79 80 81 83 84 88 89 92 94 95 97 98 99