loading SCIP...
12 30922 true
10 14 44 50 53 70 71 72 79 87 91 99