Exemption under section 54F is available only if the sale proceeds from the sale of the long-term capital asset are ...