loading SCIP...
11 40234 true
2 5 10 16 40 47 53 61 68 88 96