주사위 전투 게임

한 캠프에서 두 팀이 겨루는 주사위 전투 게임을 만들었다. 한 팀은 공격 팀, 다른 한 팀은 수비 팀이며, 두 팀은 각각 자기 진영에 사람들을 가지고 시작한다.

매 라운드마다 공격 팀은 수비 진영으로 사람을 보내고, 수비 팀도 방어할 사람을 내보낸다. 출전 인원은 다음 규칙으로 정해진다.

1. 공격 팀은 자기 진영에 최소 1명을 남겨야 한다. 예를 들어 공격 팀에 3명만 있다면 최대 2명만 공격에 나갈 수 있다. 수비 팀은 자기 진영을 지키는 입장이므로 모든 사람을 내보낼 수 있다.
2. 두 팀 모두 한 라운드에 최대 3명까지만 출전시킬 수 있다.
3. 두 팀 모두 위 규칙을 지키는 범위에서 가능한 한 많은 사람을 출전시켜야 한다.

따라서 현재 공격 팀에 A명, 수비 팀에 D명이 있다면 공격 팀은 min(3, A - 1)명을, 수비 팀은 min(3, D)명을 출전시킨다.

출전한 사람들은 모두 6면 주사위를 하나씩 던진다. 각 팀의 눈을 내림차순으로 정렬한 뒤, 공격 팀의 가장 큰 눈과 수비 팀의 가장 큰 눈, 두 번째로 큰 눈과 두 번째로 큰 눈을 차례대로 비교한다. 비교는 두 팀 모두 해당 순위의 눈이 있을 때까지만 한다. 각 비교에서 더 낮은 눈이 나온 사람이 죽는다. 두 눈이 같으면 수비 쪽이 이기므로 공격 쪽 사람이 죽는다.

비교가 끝나면 살아남은 출전자는 각자의 진영으로 돌아가고 다음 라운드를 진행한다. 공격 팀이 더 이상 공격할 수 없으면, 예를 들어 공격 팀에 1명만 남으면 수비 팀이 이긴다. 수비 팀이 모두 죽으면 공격 팀이 이긴다.

수비 팀의 초기 인원수가 주어질 때, 공격 팀이 이길 확률이 50% 이상이 되기 위해 필요한 공격 팀의 최소 초기 인원수를 구하라.

첫째 줄에 수비 팀의 인원수 N (1 <= N <= 1000)이 주어진다.

필요한 공격 팀의 최소 인원수를 출력한다.