loading SCIP...
11 26672 true
1 6 7 9 16 23 28 79 80 83 99