Trung đang chơi một trò vô cùng thú vị. Trò chơi được chơi trên một lưới hình chữ nhật gồm N hàng và M cột. Ban đầu tất cả các ô trong lưới đều chưa được tô màu.
Số điểm ban đầu của Ucoder là 0. Với mỗi lượt chơi, anh ta chọn một ô chưa được tô màu, và tô màu nó. Điểm số của một bước là số ô láng giềng đã được tô màu của ô Ucoder tô trong bước đó. Hai ô gọi là láng giềng nếu có chung cạnh. Trò chơi sẽ kết thúc nếu tất cả các ô đều được tô màu. Kết thúc, điểm số chung cuộc là tổng số điểm mỗi lượt.
Trung muốn biết điểm số cao nhất anh ta có thể đạt được. Bạn có thể giúp anh ta tìm ra nó không?

Mô tả đầu vào

Hai số nguyên N và M là thích thước của lưới.

Ràng buộc

• N, M ≤ \(10^{18}\)

Mô tả đầu ra

Số điểm lớn nhất Trung có thể đạt được.

2 2

4

3 4

17