Let X denote the lifetime of a radio, in years, manufactured by a certain company. The probability density function of X is given by f(x) = { 1/15 e^{-x/15} x >= 0, 0 otherwise. What is the probability that, of 9 such radios, at least 5 last more than 12 years?