loading SCIP...
16 37516 true
0 1 2 6 8 16 19 26 49 53 66 69 76 80 89 99