loading SCIP...
12 35407 true
6 8 10 16 21 28 51 52 76 79 93 94