그린 카드
시간 제한1초메모리 제한1024 MB
자격증을 가진 N명과 자격증이 없는 M명이 각자 한 번씩 등반해야 하며, 등반자마다 서로 다른 확보자가 필요할 때 최소 시간을 10분 단위로 구한다.
문제
로프 등반에는 두 사람이 필요하다. 한 사람은 벽을 오르고, 다른 한 사람은 땅에 남아 로프를 잡고(확보하고) 있어야 오르는 사람이 떨어지는 경우에 대비할 수 있다. 확보를 하려면 그린 카드를 따야 하지만, 등반을 하는 데는 그린 카드가 필요 없다. 하네스에 로프를 묶는 것과 그 밖의 준비를 포함해 벽 하나를 오르는 데는 정확히 분이 걸린다. 등반 벽은 많아서 원하는 만큼 많은 사람이 동시에 오를 수 있다. 단, 각 등반자를 서로 다른 사람이 확보해야 한다.
명의 그린 카드 소지자와 명의 그린 카드 미소지자로 이루어진 친구 무리가 있다. 모든 사람이 한 번씩 오르는 데 걸리는 최소 시간은 몇 분인가?
입력
첫째 줄에 그린 카드 소지자의 수 이 주어진다 ().
둘째 줄에 그린 카드 미소지자의 수 이 주어진다 ().
출력
명이 모두 한 번씩 오르는 데 걸리는 최소 시간을 분 단위의 정수로 출력한다.