loading SCIP...
48 78 true
2 7 9 10 11 13 15 19 22 24 25 26 27 28 30 33 35 40 43 46 47 50 51 53 54 55 56 58 59 66 67 68 72 74 75 76 77 78 79 81 82 86 89 90 91 92 97 99