Technoid Inc. sells computer systems. Technoid leases computers to Lone Star Company on January 1, 2016. The manufacturing cost of the computers was $12 million. This noncancelable lease had the following terms: Lease payments: $2,466,754 semiannually; first payment at January 1, 2016; remaining payments at June 30 and December 31 each year through June 30, 2020. Lease term: five years (10 semiannual payments). No residual value; no bargain purchase option. Economic life of equipment: five years. Implicit interest rate and lessee's incremental borrowing rate: 5% semiannually. Fair value of the computers at January 1, 2016: $20 million. Collectibility of the rental payments is reasonably assured, and there are no lessor costs yet to be incurred. What is the net book value of the lease liability in Lone Star's June 30, 2016, balance sheet? Round your answer to the nearest dollar.

a. $17,533,246.

b. $15,943,154.

c. None of these answer choices is correct.

d. $21,000,000.