Die Hard
문제
John and Hans are playing a game involving 3 dice. Even though they are all 6-sided, they are not guaranteed to be identical.
First John picks one of the dice and then Hans picks one of the remaining two. Then they both roll their chosen die. If they roll the same number, they both re-roll their die. Otherwise the winner is the one who rolled the highest number.
In case neither John or Hans can win with their chosen dice, they do not bother to re-roll the dice indefinitely and no winner is declared.
Can you help John pick a die that guarantees that he wins with a probability of at least ?
입력
The input consists of three lines. Line contains positive integers (), describing the sides of the 'th die.
출력
Output the smallest , such that John can pick die and be guaranteed to win with probability at least . If no such die exists, output "No dice".
예제
예제 1
1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6
1
예제 2
1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 3
3
예제 3
2 2 4 4 9 9 1 1 6 6 8 8 7 7 5 5 3 3
No dice
예제 4
1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2
No dice