숙제가 하기 싫을 때

상근이는 숙제가 너무 하기 싫어서, 한 달 치 숙제를 걸고 창영이와 게임을 하기로 했다. 진 사람은 한 달 동안 두 사람 몫의 숙제를 해야 한다. 상근이는 자신이 어릴 때 하던 게임을 하자고 했고, 창영이는 흔쾌히 받아들였다.

이 게임에는 아래 그림과 같은 주사위가 필요하다.

마주 보는 두 면에 적힌 수의 합은 항상 7이다. 즉 1은 6, 2는 5, 3은 4와 마주 본다. 그림과 같은 방향에서 처음 윗면에는 1, 오른쪽 면에는 3, 앞면에는 2가 적혀 있다.

한 칸의 크기가 주사위 한 면의 크기와 같은 표를 그린다. 표의 크기는 R행 C열이다. 주사위는 처음에 왼쪽 위 칸에 놓여 있다. 이제 다음 순서로 주사위를 굴린다.

1. 마지막 열에 도착할 때까지 오른쪽으로 굴린다.
2. 아래 줄로 한 칸 굴린다.
3. 첫 번째 열에 도착할 때까지 왼쪽으로 굴린다.
4. 다시 아래 줄로 한 칸 굴린다.

이 과정을 더 이상 아래로 내려갈 수 없을 때까지, 즉 마지막 줄까지 반복한다. 주사위가 어떤 칸에 놓일 때마다 창영이는 윗면의 숫자를 적는다. 시작 칸의 윗면도 포함한다. 마지막에 창영이는 적은 숫자를 모두 더한 뒤 상근이에게 답을 물어본다.

R과 C가 주어졌을 때, 창영이가 더한 윗면 숫자의 합을 구하는 프로그램을 작성하시오.

첫째 줄에 R과 C가 주어진다. (1 <= R, C <= 100,000)

첫째 줄에 윗면 숫자의 합을 출력한다.