loading SCIP...
8 32781 true
9 11 29 35 50 52 63 65