loading SCIP...
45 422 true
1 4 8 11 12 13 17 20 21 22 23 28 29 30 32 34 35 36 39 40 41 42 43 44 47 48 51 54 57 60 61 65 66 70 71 72 73 74 75 79 88 92 93 98 99