loading SCIP...
11 36953 true
3 8 19 23 27 30 40 51 60 93 96