Zagadki matematyczne - Koty, psy i ciastka - ( Raymond Smullyan )

Zadanie z niesamowitej książki mistrza zagadek Raymonda Smullyana, "Dama czy tygrys". Polecam!
Treść:
56 ciastkami mamy nakarmić 10 zwierzaków. Każde z nich jest psem lub kotem. Każdy pies ma dostać 6 ciastek, a każdy kot 5 ciastek. Ile jest psów, a ile kotów?
Wizualizacja stworzona w programie STENCYL (coś w rodzaju lepszej wersji Scratch).