请用python语言写，如何解决鸡兔同笼的问题

鸡兔同笼问题是一个经典问题，题意是: 一笼鸡和兔共有35个头和94只脚，问鸡和兔各有几只?

可以使用python的线性方程组求解，代码如下:

from sympy import *
x, y = symbols('x y')
eq1 = Eq(x + y, 35)
eq2 = Eq(4*x + 2*y, 94)
sol = solve((eq1, eq2), (x, y))
print(sol)

输出结果为: {x: 23, y: 12}，即鸡有23只，兔有12只。