Pedro lives in Puerto Rico and has net taxable income of $80,000 for the year 20X1. His gross income totals $120,000. As part of his gross income, Pedro has a dividend of $20,000 from a Puerto Rico corporation, which withheld $3,000 of income tax at source.

What is Pedro's regular income tax for 20X1?

a. $10,652

b. $14,535

c. $10,411

d. $7,652