loading SCIP...
10 48078 true
1 10 30 40 55 57 60 65 73 80