loading SCIP...
19 29046 true
1 2 3 4 10 12 14 21 28 32 50 53 69 71 80 84 96 97 99