loading SCIP...
19 26765 true
4 11 28 30 33 34 41 48 50 52 54 57 70 79 83 84 94 98 99