loading SCIP...
18 30860 true
6 7 11 19 40 41 46 48 49 52 61 75 81 83 85 89 97 98