小明和同学去公园春游.公园门票每张5元,如果购买20人以上（含20人）的团体票,可按总票价的八折付票款
.小明想了想,购买了一张20人的团体票,结果比每人单独购票少花了15元.小明他们一共去了多少人?（只列方程,