[Lvlug] sup guys the NPR Weekend Edition puzzle was really easy today

[Christopher Hever]

"From a 19th century trade card advertising Bassetts Horehound
Troches, a remedy for coughs and colds: A man buys 20 pencils for 20
cents and gets three kinds of pencils in return. Some of the pencils
cost 4 cents each, some are two for a penny and the rest are four for
a penny. How many pencils of each type does the man get?"

Hints: Gauss, unique *integer* solution