At the city museum, child admission is $5.10 and adult admission is $9.70 . On Monday, twice as many adult tickets as child tickets were sold, for a total sales of $612.50. How many child tickets were sold that day?