Consider a vending machine that accepts only $($A$)5-$cent and $($B$)10-$cent coins and dispenses an item when the total amount reaches at least $20$ cents. The machine will have some redundant states that can be merged. Check if the below diagram is a correct dfa