Thomas has $6.35 in dimes and quarters. The number of dimes is three more than three times the number of quarters. How many coins of each type are there?