9.4只蚂蚁