Carlos has a box of coins that he uses when playing poker
with friends. The box currently contains 45 coins,
consisting of pennies, dimes, and quarters. The number of
pennies is equal to the number of dimes, and the total
value is $4.23. How many of each denomination of coin does he have?