loading SCIP...
10 44984 true
12 14 17 18 21 27 36 55 82 99