The Cardinal Corporation has bonds outstanding rate with 20 years to maturity and a par value of $1000. The bonds pay semi-annual coupon payments at a coupon of 8%. The yield to maturity (YTM) on these bonds is 9%. What price should the bonds sell for?