(5.1441*10^18 kg * 1012 J per kilogram-kelvin * (174408-(273+15) kelvin)