loading SCIP...
10 47281 true
6 16 30 41 60 65 78 85 88 92