1987년 timer 1s memory 32MB

1987년 이후로 각 자리 수가 모두 다른 최초의 해는 2013년이다. 2012년의 경우에는 아쉽게도 2가 두 번 나오기 때문에 각 자리 수가 모두 다르진 않다.

당신은 연도 Y가 주어질 때 Y년 이후로 각 자리 수가 모두 다른 최초의 해를 구하는 프로그램을 작성해야 한다.