Kevin was taking a trip to an amusement park with his family. To enter the amusement park, his parents had to purchase two adult tickets and one child ticket. The cost of an adult ticket was $42.50. A child ticket is 6/10 of the price of an adult ticket. What was the cost of a child ticket?