【矿工太坑了吧】

新刷出来的矿工，都是叠在一起，只能流放或雇佣他，好的都在前面，就不能优化一下？可以选择！