loading SCIP...
12 39968 true
1 7 9 16 31 37 69 84 85 86 87 93