loading SCIP...
18 28640 true
3 12 19 26 29 33 39 43 55 60 70 73 76 77 91 93 94 95