경비원 인력 배치

범죄수사국(ACM)은 기업 사무실의 경비를 담당하며, 경비원은 12시간 교대로 근무한다. 하루(24시간)는 12시간 주간 근무와 12시간 야간 근무로 나뉘고, 하루는 항상 주간 근무로 시작한다. 월요일부터 금요일까지는 평일, 토요일과 일요일은 주말이다.

각 경비원은 다음 네 가지 근무표 중 정확히 하나에 배정된다.

1. 근무표 1 — 하루 근무(주간·야간 모두)한 뒤 이틀을 쉰다. 즉 사흘에 하루씩 근무한다. 요일과 무관하게 순환한다.

2. 근무표 2 — 평일 5일의 주간 근무만 한다. 야간과 주말에는 근무하지 않는다. 이 근무표는 요일에 고정되어 있다.

3. 근무표 3 — 4일 주기이다. 1일차 근무(주간·야간), 2일차 휴식, 3일차 주간만 근무(야간 휴식), 4일차 휴식으로, 4일마다 세 번의 교대를 근무한다. 요일과 무관하게 순환한다.

4. 근무표 4 — 5일 주기이다. 1일차 근무(주간·야간), 2일차 휴식, 3일차 주간만 근무, 4일차 근무(주간·야간), 5일차 휴식이다. 단, 주말에 걸리는 주간 근무는 취소되어 주말에는 야간 근무만 이루어진다. 요일과 무관하게 순환한다.

경비 요구 조건은 다음과 같다.

• 평일의 모든 주간 근무 시간대에 경비원이 최소 $n_1$명 근무해야 한다.
• 주말의 모든 주간 근무 시간대에 경비원이 최소 $n_2$명 근무해야 한다.
• 모든 야간 근무 시간대(평일·주말 무관)에 경비원이 최소 $n_3$명 근무해야 한다.

계획을 단순화하기 위해 경비 일정은 규칙적이어야 한다. 즉 네 근무표 각각에 대해 평일 주간, 평일 야간, 주말 주간, 주말 야간의 각 근무 시간대마다 근무 중인 경비원 수가 항상 같은 정수 상수여야 한다. (예를 들어 어떤 평일 주간 시간대에 근무표 1의 경비원 4명이 근무한다면, 모든 평일 주간 시간대에 근무표 1의 경비원 4명이 근무한다. 사람은 서로 다를 수 있다.) 근무 인원은 사람 수이므로 항상 0 이상의 정수이다.

모든 요구 조건을 만족시키기 위해 고용해야 하는 경비원의 최소 총원을 구하여라.

세 정수 $n_1$, $n_2$, $n_3$ ($1 \le n_1, n_2, n_3 \le 1000$)이 공백으로 구분되어 한 줄에 주어진다. $n_1$은 평일 주간 근무에 필요한 최소 경비원 수, $n_2$는 주말 주간 근무에 필요한 최소 경비원 수, $n_3$은 야간 근무에 필요한 최소 경비원 수이다.

모든 요구 조건을 만족시키기 위해 고용해야 하는 경비원의 최소 총원을 정수 하나로 한 줄에 출력한다.