loading SCIP...
43 1688 true
0 5 6 7 9 13 14 16 17 19 20 22 23 24 28 32 34 36 37 39 40 43 45 47 51 56 59 60 61 62 64 66 69 73 79 82 84 86 88 92 93 94 96