Jose bought 9 movie tickets for a total of $54. Adult tickets cost $8 each and child tickets cost $3.50 each. How many adult tickets did he buy?