loading SCIP...
15 34953 true
7 20 22 24 25 32 33 40 49 53 56 59 62 70 92