loading SCIP...
11 44375 true
5 14 15 18 19 26 38 62 84 85 92