loading SCIP...
10 46156 true
11 22 24 25 42 45 51 74 90 94