loading SCIP...
41 1969 true
0 6 9 10 12 13 14 16 18 21 25 26 28 30 32 34 36 39 41 44 46 49 51 53 54 55 58 60 66 69 74 75 81 82 85 89 90 93 94 95 97