loading SCIP...
9 50375 true
4 6 20 31 45 48 60 68 92