已知方程组 3x+y=12 有正整数解(a为整数),求a的值.