(20 tons) / (density of uranium)