loading SCIP...
18 27500 true
6 10 29 30 35 39 40 44 45 46 51 54 60 62 64 65 73 98