loading SCIP...
18 29000 true
1 2 3 6 18 26 39 41 54 61 64 73 75 76 93 95 96 97