loading SCIP...
11 40469 true
2 6 12 15 43 45 48 59 65 88 96