세로 달력

성현이는 달력을 유심히 보다가 달력의 어떤 열이 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일이다.