loading SCIP...
18 27844 true
9 27 33 34 46 53 56 64 66 70 73 77 80 85 90 91 95 98