역사적 가치가 있는 TV 리모컨

오루지 박사는 나이가 들수록 오래된 물건에 더 애착을 느껴서 쉽게 버리지 못한다. 그는 그런 물건에 역사적 가치가 있다고 주장한다. 예를 들어 프로그래밍 팀에서 처음 받은 탁자를 지금도 쓰고 있다. 집에서도 상황은 같다. 고장 난 TV 리모컨이 있는데도 그는 역사적 가치가 있는 오래된 물건이라며 계속 쓴다.

이 오래된 리모컨에는 버튼이 12개 있다. 숫자 0부터 9까지의 버튼, 채널 내리기 버튼, 채널 올리기 버튼이다. 다른 버튼은 없다. 리모컨의 숫자 중 일부는 작동하지 않지만 채널 올리기와 내리기는 항상 작동한다. 그래서 특정 채널로 가려면 오루지 박사가 채널 올리기나 내리기를 써야 할 때가 있다. 예를 들어 숫자 0과 5가 작동하지 않는다고 하자.

• 102번 채널을 보려면 99를 누르고 채널 올리기를 3번 누른다.
• 597번 채널을 보려면 611을 누르고 채널 내리기를 14번 누른다.

작동하지 않는 숫자와 목표 채널이 주어질 때, 오루지 박사가 채널 올리기나 내리기를 몇 번 눌러야 하는지 구한다. 박사는 힘을 가장 적게 쓰고 싶어 하므로 채널 올리기와 내리기를 최소 횟수로 누르려 한다. 박사는 0부터 999 사이(경계 포함)의 채널에서 시작한다고 가정한다. 채널 내리기는 0번 채널에서 효과가 없고, 채널 올리기는 999번 채널에서 효과가 없다.

첫 줄에 작동하지 않는 숫자의 개수 n (1 ≤ n ≤ 9)이 주어진다. 작동하지 않는 숫자들은 같은 줄에 오름차순으로 적혀 있다. 둘째 줄에는 목표 채널이 주어진다. 1 이상 999 이하의 정수이다.

목표 채널에 도달하려고 채널 올리기 또는 내리기를 눌러야 하는 최소 횟수를 정수 하나로 출력한다. 작동하는 숫자가 하나 이상 있으므로 목표 채널에는 항상 도달할 수 있다.