$a_1+2a_2+3a_3=n$ を満たす非負整数の組 $(a_1,a_2,a_3)$ 全てについて, $$\frac{(a_1+a_2+a_3)!}{a_1!\times a_2!\times a_3!}$$ の総和を $f(n)$ とします. $f(n)\equiv 6 \pmod{12}$ を満たす最小の正整数 $n$ を求めてください.
