loading SCIP...
32 7531 true
1 3 6 7 8 9 10 12 13 17 27 31 35 38 48 58 62 63 64 69 70 72 73 74 75 79 81 85 92 94 96 99