loading SCIP...
13 38953 true
8 19 26 33 36 42 43 50 54 78 81 82 83