loading SCIP...
48 93 true
0 7 10 13 14 15 17 23 25 27 32 33 34 35 36 41 43 47 48 52 55 57 58 61 62 63 66 69 70 72 73 74 75 81 82 83 84 85 86 87 88 89 90 92 93 96 97 99