loading SCIP...
18 31516 true
3 7 8 9 32 36 46 48 52 53 64 72 80 85 89 91 94 96