一些作业本,无论是平均分给10个人,12个人,还是15个人,都剩余4本,这些作业本至少有多少本???