475.几人割草【中级】
一组割草人要把两块草地的草割完。大的一块比小的一块大一倍，上午全部人都在大的一块草地割草。下午一半人仍留在大草地上，到傍晚时把草割完。另一半人去割小草地的草，到傍晚还剩下一块，这一块由一个割草人再用一天时间刚好割完。问这组割草人共有多少人（假设每个割草人的割草速度都相同）？
