loading SCIP...
14 36156 true
13 21 26 43 45 46 55 64 82 83 90 92 93 95