loading SCIP...
12 39328 true
1 2 6 28 31 36 49 59 69 82 93 95