loading SCIP...
13 37625 true
16 26 31 33 36 45 57 58 62 65 69 72 79