loading SCIP...
33 5828 true
1 3 8 9 13 16 19 21 24 25 26 35 36 41 43 46 49 54 60 62 65 68 69 78 81 83 84 85 86 88 89 97 98