loading SCIP...
12 37953 true
11 15 16 36 49 58 66 78 81 82 83 86