大人门票是每张40元,学生门票是5折优惠,我们一共12人,共需400元。小明他们一共去了几个成人,几个学生的?