loading SCIP...
12 39500 true
6 7 25 31 41 63 73 85 87 88 94 98