loading SCIP...
12 37703 true
10 11 13 19 21 41 52 59 79 82 93 99