The input is a SaturationProperties record called sat. Returns the ThermodynamicState record at the dew point