loading SCIP...
11 42421 true
3 11 15 20 26 40 41 66 73 94 99