loading SCIP...
13 43265 true
2 7 9 10 29 30 31 33 43 44 45 49 60