loading SCIP...
13 38343 true
15 20 26 28 36 42 46 49 52 66 71 72 87