loading SCIP...
12 40719 true
10 17 22 24 26 28 39 47 51 61 78 99