loading SCIP...
38 6593 true
0 1 2 5 6 9 11 13 14 18 25 27 28 29 30 32 36 38 43 44 52 55 56 59 61 62 68 71 73 79 81 82 84 88 90 94 97 98