A fisherman sold some big fish at $4 each and twice as many small fish at
$1 each. He received a total of $72 for the big and small fish. How many
big fish did he sell?