loading SCIP...
14 38266 true
10 16 19 26 43 50 54 58 62 84 91 92 93 97