loading SCIP...
11 44234 true
1 2 4 8 27 35 53 54 57 83 98