loading SCIP...
29 12422 true
1 3 5 6 7 8 9 10 12 16 27 28 29 32 36 39 42 43 46 55 62 64 65 66 69 74 82 86 97