Assume that after the first 12 hours, the average remaining useful life of a particular battery (before recharging is required) is 9 hours and that the remaining time is exponentially distributed. What is the probability that a randomly sampled battery of this type will last between 15 and 17 hours?