《孙子算经》中记载了一个有趣的问题：“今有雉兔同笼，上有三十五头，下有九十四足，问雉兔各几何？”根据上述描述可列出如下形式的二元一次方程组。 { x+y=35 2x+4y=94 ​ 那么求解鸡兔同笼问题就转化成了二元一次方程组求解问题。本题要求编写程序对任意给定的头数和足数判断鸡和兔各有多少。 输入格式: 在一行中给出任意两个非负整数，整数之间用空格分开，第一个整数表示头数，第二个整数表示足数。 输出格式: 在一行中按照chickens = mm; rabbits = nn的格式输出解，如果无解则输出No solution! 。其中mm与nn都是非负整数

解题思路：

- 根据题意可以得到两个方程：x + y = head，2x + 4y = leg；
- 将方程化简为标准形式：x + y = head，x + 2y = leg / 2；
- 对方程组进行求解，得到x和y的值；
- 判断是否有解，如果y为负数或者非整数，那么就无解；
- 输出解。

Python3代码如下：