鸡兔同笼共有20个头