For compact cars the average city mileage is 1 = 22.8km with and the standard devia tion is 1 = 4.5km, and the average highway mileage is 31.1km with standard deviation 5.5km. In addition, the correlation coefficient between the city and highway mileage is s(X1 and X2, respectively) = 0.95. Assume that X1 | X2 = x2 follows a normal distribu tion with mean 1 +1 2 (x2 2) and variance 2 1(1 2). What is the average city mileage of a car that gives highway mileage of 25km?