loading SCIP...
10 42203 true
4 11 19 25 27 34 55 63 74 92