loading SCIP...
13 38422 true
11 14 21 27 43 50 54 55 73 84 88 92 94