helium-4 at 25K 2487atm