세로 달력

달력을 유심히 바라보던 성현이는 달력의 어떤 열은 $5$칸으로 이루어져 있다는 사실을 발견했다.

성현이는 $5$칸으로 이루어져 있는 달력의 열을 "세로 달력"이라고 부르기로 했다.

성현이는 $N$년 달력에는 총 몇 개의 "세로 달력"이 있는 지 궁금해한다.

성현이를 위해 $N$년 달력의 "세로 달력" 수를 구해주자!

첫 번째 줄에 $N$이 주어진다. $(1\ 900 \le N \le 10^9)$

두 번째 줄에 $N$년 달력 1월 1일의 요일이 주어진다.

요일은 $1$에서 $7$까지의 숫자로 주어지며, 각 숫자는 순서대로 [일,월,화,수,목,금,토]를 의미한다. (단, 입력은 현실의 달력과 다를 수 있다.)

$N$년 달력의 '세로 달력' 수를 구해 출력한다.

윤년을 고려해서 계산한다.

주어진 연도가 4의 배수이면서 100의 배수가 아닐 때 혹은 400의 배수일 때 윤년이라고 판단한다.

2024년은 4의 배수이면서 100의 배수가 아니므로 윤년이다.

2100년은 4의 배수이고 100의 배수이다. 400의 배수는 아니기 때문에 윤년이 아니다.

2400년은 400의 배수이므로 윤년이다.

평년에는 2월의 마지막 날이 28일이고, 윤년에는 마지막날이 29일이다.

따라서, 평년은 365일이고 윤년은 366일임을 고려한다.