Statement
알고리즘 문제풀이와 애니메이션을 좋아하는 채강은 자신이 덕후와 그렇지 않은 사람의 경계선에 서 있다고 생각한다. 지금까지 많은 사람을 관찰한 결과 채강은 나이가 어리고 solved.ac 티어가 높을수록 덕후에 가깝고, 그렇기에 자신이 좋아하는 애니메이션을 좋아할 것이라는 사실을 알아냈다.
이에 채강은 나이와 solved.ac 티어를 기준으로 하여 덕후인 정도를 측정하는 덕후력이라는 지표를 만들었고 자신의 덕후력이 정확히 이 되도록 덕후력을 조정하였다. 덕후력 를 계산하는 수식은 다음과 같다.
는 나이, 는 solved.ac 티어이다. 이 공식으로 계산한 덕후력이 보다 작으면 덕후력을 으로 취급한다.
이제 채강은 친구들의 덕후력을 측정하여 애니메이션을 추천할지 말지 결정하려고 한다. 채강을 위해 자동으로 덕후력을 계산하는 프로그램을 만들어 주자!
Input
친구의 나이와 solved.ac 티어를 나타내는 두 정수 와 가 공백으로 구분되어 주어진다.
Output
친구의 덕후력 를 출력한다. 덕후력이 보다 작으면 대신 을 출력한다.
Samples
Sample 1
Input
16 17
Output
62
Sample 2
Input
31 0
Output
0