loading SCIP...
12 39984 true
14 20 22 29 48 54 55 61 65 83 94 97