loading SCIP...
10 43766 true
6 11 15 22 24 25 38 69 80 84