求大神帮忙看下！很神奇的题目。

#include<stdio.h> void main() { int x,y; for(x=0;x*2+(35-x)*4>94;x=x+1) y=35-x; printf("%d%d",x,y);} 这是一个鸡兔同笼问题，头数为35脚数为94。为什么用C-FREE解得的答案是23和13？鸡数是对的，兔数怎么会多一只？加起来有36了。求大神帮忙看看、