loading SCIP...
10 46782 true
3 17 38 48 68 70 80 82 85 90