loading SCIP...
38 3828 true
0 1 4 5 6 11 12 13 14 17 23 26 30 32 35 42 45 46 49 52 54 56 59 60 64 68 71 73 74 75 78 82 83 86 87 88 89 99