loading SCIP...
10 47171 true
4 7 17 25 38 44 49 63 79 86