정십이면체 모양의 주사위(각 면에 1부터 12까지의 자연수가 하나씩 적혀 있다)를 15번 던져 n번째 나온 눈의 수를 an (n=1,2,⋯,15)이라 하자.
(가) n이 소수인 모든 an의 합은 20이고, 곱은 112이다.
(나) n이 합성수이면 an=ap이다. (단, p는 n의 가장 작은 소인수이다.)
(다) a1은 a2+a3의 약수이다.
조건 (가), (나), (다)를 만족시키는 순서쌍 (a1,a2,⋯,a15)의 개수를 구하시오. [4점]