loading SCIP...
21 26969 true
7 8 10 13 18 30 33 34 45 46 60 62 68 71 75 77 79 83 88 91 97