loading SCIP...
14 35109 true
11 14 16 17 27 34 38 42 46 53 78 79 86 99