张刚用13.6元买了20张6角和8角的明信片，6角的明信片有多少张?