loading SCIP...
9 48906 true
7 13 21 30 32 45 56 74 90