loading SCIP...
10 45360 true
11 14 44 53 54 65 71 83 93 97