loading SCIP...
10 43391 true
9 10 21 63 64 75 79 93 98 99