์์ ์ ์ ์ด ์ฃผ์ด์ง๋ค. ๋ค์ ์กฐ๊ฑด์ ๋ชจ๋ ๋ง์กฑํ๋ ํธ๋ฆฌ๊ฐ ์กด์ฌํ๋์ง ํ๋จํ๊ณ , ์กด์ฌํ๋ค๋ฉด ํ๋๋ฅผ ๊ตฌ์ฑํ์ฌ๋ผ. ๋ฃจํธ์ ๊น์ด๋ ์ผ๋ก ์ ์ํ๋ค.
- ํธ๋ฆฌ๋ ๊ฐ์ ์ ์ ์ผ๋ก ์ด๋ฃจ์ด์ ธ ์์ผ๋ฉฐ, ๊ฐ ์ ์ ์๋ ์ ๋ฒํธ๊ฐ ํ๋์ฉ ๋ถ์ด ์๋ค.
- ๋ฃจํธ๋ ๋ฒ ์ ์ ์ด๋ค.
- ๊น์ด๊ฐ ํ์์ธ ์ ์ ์ ๊ฐ์๋ ์ด๋ค.
- ๊น์ด๊ฐ ์ง์์ธ ์ ์ ์ ๊ฐ์๋ ์ด๋ค.
- ์ฐจ์๊ฐ ์ธ ์ ์ ์ ๊ฐ์๋ ์ด๋ค.
ํธ๋ฆฌ๋ฅผ ์ ํํ ๊ตฌ์ฑํ์ง ๋ชปํ๋๋ผ๋ ์กด์ฌ ์ฌ๋ถ๋ฅผ ์ฌ๋ฐ๋ฅด๊ฒ ํ๋ณํ๋ฉด ์ ์ ์๋ฅผ ๋ฐ์ ์ ์๋ค. ์์ธํ ๋ด์ฉ์ Scoring ์น์ ์ ์ฐธ๊ณ ํ๋ผ.
Input
์ ๋ ฅ์ ๋ค์๊ณผ ๊ฐ์ ํ์์ผ๋ก ์ฃผ์ด์ง๋ค.
Output
ํธ๋ฆฌ๊ฐ ์กด์ฌํ๋ ๊ฒฝ์ฐ ๋ค์๊ณผ ๊ฐ์ ํ์์ผ๋ก ์ถ๋ ฅํ๋ผ.
์ฌ๊ธฐ์ ๋ ํธ๋ฆฌ์ ()๋ฒ์งธ ๊ฐ์ ์ ์๋ฏธํ๋ฉฐ, ๋ค์ ์กฐ๊ฑด์ ๋ง์กฑํด์ผ ํ๋ค.
- ().
- ().
- ().
ํธ๋ฆฌ๊ฐ ์กด์ฌํ์ง ์๋ ๊ฒฝ์ฐ ๋ค์๊ณผ ๊ฐ์ ํ์์ผ๋ก ์ถ๋ ฅํ๋ผ.
Constraints
- .
- .
- .
Subtasks
Scoring
๊ฐ ํ ์คํธ์ผ์ด์ค์ ์ ์๋ ๋ค์๊ณผ ๊ฐ์ด ๋ถ์ฌ๋๋ค.
- ์กด์ฌ ์ฌ๋ถ ํ๋ณ์ด ์ฌ๋ฐ๋ฅด์ง ์์ผ๋ฉด ์ .
- ์กด์ฌ ์ฌ๋ถ ํ๋ณ์ ์ฌ๋ฐ๋ฅด์ง๋ง ๋ต์ด YES์ธ ๊ฒฝ์ฐ ํธ๋ฆฌ๊ฐ ์ฌ๋ฐ๋ฅด์ง ์์ผ๋ฉด ํด๋น ์๋ธํ์คํฌ ๋ฐฐ์ ์ (ํธ๋ฆฌ๋ฅผ ์ถ๋ ฅํ์ง ์์๋ ๋๋ค.)
- ํ๋ณ ์ฌ๋ถ์ ํธ๋ฆฌ๊ฐ ๋ชจ๋ ์ฌ๋ฐ๋ฅด๋ฉด ํด๋น ์๋ธํ์คํฌ ๋ฐฐ์ ์ .
๊ฐ ์๋ธํ์คํฌ์ ์ ์๋ ํด๋น ์๋ธํ์คํฌ์ ์ํ ๋ชจ๋ ํ ์คํธ์ผ์ด์ค์ ์ ์ ์ค ์ต์๊ฐ์ด๋ค.
Samples
์ด ์์ ๋ ์๋ธํ์คํฌ 1, 2, 5, 7, 11, 12์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ค.
์ด ์์ ๋ ์๋ธํ์คํฌ 3, 4, 6, 7, 9, 10, 11, 12์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ค.
์ด ์์ ๋ ์๋ธํ์คํฌ 3, 6, 8, 10, 11, 12์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ค.
์ด ์์ ๋ ์๋ธํ์คํฌ 7, 9, 10, 11, 12์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ค.
์ด ์์ ๋ ์๋ธํ์คํฌ 4, 6, 11, 12์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ค.