18 of 30 Texas Corporation has an effective annual WACC of 9.60%. It is financed with 40% debt and 60% equity. Texas's effective annual cost of equity is 12.80% and its corporate tax rate is 40%. All debt issued by Texas is a 25-year bond, paying coupon annually at a coupon rate of 8%. The bond has a face value of $1,000. What is the price of the Texas bond? (Please retain at least 4 decimal places in your calculations.) O a $987.63 Ob $852.46 O c. $1,000 od $1,076.74 O e. $1,017.67 Unsure