loading SCIP...
11 40187 true
18 23 29 33 39 41 58 67 73 86 89