loading SCIP...
51 157 true
1 3 4 9 10 12 13 15 28 29 31 32 33 35 36 40 42 44 45 46 47 48 51 52 53 54 56 57 58 59 60 63 66 67 70 72 74 75 76 82 83 84 85 86 88 89 90 94 95 97 99