loading SCIP...
38 2828 true
0 1 5 7 13 16 21 23 25 31 34 35 36 38 39 41 43 45 48 51 53 54 56 57 61 62 64 67 71 72 82 86 87 88 89 92 93 94