loading SCIP...
10 46187 true
12 14 28 32 55 56 63 66 83 93