loading SCIP...
12 38547 true
7 8 12 15 18 54 56 62 64 71 73 78