B. Codeforces World Finals
ограничение по времени на тест
2 seconds
ограничение по памяти на тест
256 megabytes
ввод
стандартный ввод
вывод
стандартный вывод

Царю Цопе много раз докладывали о стремительно набирающем популярность сайте Codeforces, на котором собираются светлейшие умы нашего человечества, — ради тренировки и дальнейшего просветления своих умов. И Цопа недавно осознал: если он хочет поработить весь мир, то для этого ему необходимо отдать приказ организовать всемирный турнир Codeforces. Цопа уверен, — после этого его поступка все светлейшие умы добровольно перейдут в его подчинение, и самая сложная часть плана порабощения мира будет осуществлена.

Финальный раунд Codeforces World Finals 20YY назначен на дату DD.MM.YY, где DD — день проведения раунда, MM — месяц, а YY — последние 2 цифры года. Васе посчастливилось стать первым в истории Берляндии участником, вышедшим в финал. Но есть одна проблема: по правилам соревнования, все участники на момент финального раунда должны быть не младше 18 лет, а Вася родился в день BD.BM.BY. Эта дата написана в Васином паспорте, копию которого он уже отправил организаторам соревнования. Но Вася узнал, что в разных странах форматы записи дат отличаются, например, в США обычно сначала записывается номер месяца, затем день, а потом год. Вася хочет узнать, а можно ли так переставить числа в его дате рождения, чтобы на момент DD.MM.YY ему было хотя бы 18 лет. Ведь тогда он сможет сказать, что в его родной Берляндии даты записываются по-другому. Помогите ему справиться с этой задачей.

По еще одному странному правилу, участник должен родиться в том же столетии, в котором проводится финал. Допускается, если участнику исполняется 18 ровно в день финала.

Так как мы рассматриваем годы проведения финала исключительно с 2001 до 2099, то високосным годом будем считать среди них такие, которые делятся на 4.

Входные данные

В первой строке задана дата DD.MM.YY, во второй строке задана дата BD.BM.BY. Гарантируется, что обе даты корректны, и номера годов YY и BY всегда лежат в отрезке [01;99].

Могло оказаться, что по паспорту Вася родился уже после финала. В этом случае он все равно может менять местами числа в дате.

Выходные данные

Если можно переставить числа в дате рождения так, чтобы на момент DD.MM.YY Васе было хотя бы 18 лет, выведите YES. Иначе выведите NO.

Каждое число содержит ровно две цифры, и обозначает день, месяц или год в дате. Учтите, что разрешается переставлять любые числа, но не цифры.

Примеры
Входные данные
01.01.98
01.01.80
Выходные данные
YES
Входные данные
20.10.20
10.02.30
Выходные данные
NO
Входные данные
28.02.74
28.02.64
Выходные данные
NO