loading SCIP...
10 44546 true
12 18 40 64 69 72 80 81 90 99