A friend of mine, Sol announces that he has a number of coins in his pocket that add up to precisely one dollar. When he tells me how many coins he has, I ask if any one of them is a half-dollar. Sol tells me "no". I realize that I can't tell for sure what coins he has, because there are six different combinations that produce precisely one dollar.
How many coins does Sol have in his pocket?