$${80\, \mathrm{K}}$$