what was the weight of the gem-quality rough diamond discovered in a mine owned by petra diamonds ?
3,106.75 carats