loading SCIP...
10 32703 true
11 25 37 63 71 73 78 83 88 89