loading SCIP...
10 46344 true
11 15 17 30 31 38 79 84 91 99