loading SCIP...
40 2703 true
1 9 11 13 15 17 18 20 21 28 31 32 38 41 42 51 56 57 58 59 63 64 69 70 71 73 74 76 80 86 87 88 90 91 92 94 96 97 98 99