loading SCIP...
11 44328 true
19 29 32 44 46 47 52 63 70 74 90