Osaka đi vào vườn và chặt một số cây chuối để làm thí nghiệm. Giả sử, ta xem mỗi cây chuối là một điểm có tọa độ (x,y) trong không gian 2 chiều với x,y là các số nguyên không âm (0 ≤ x, y). Cây chuối tại điểm (x,y) có x+y quả chuối. Osaka vẽ một đường thẳng với phương trình là  . Sau đó, Osaka chọn một hình chữ nhật với các cạnh được canh theo 2 trục tọa độ và các đỉnh đều nằm phía dưới hoặc trên chính đường thẳng. Hình chữ này sẽ cắt các cây chuối tại tất cả các điểm nằm bên trong hoặc trên đường viền của hình chữ nhật. Hình chữ nhật cũng có những trường hợp suy biến thành 1 đoạn thẳng hoặc 1 điểm. Hãy giúp Osaka chọn một hình chữ nhật sao cho tìm được số lượng chuối lớn nhất.

Dữ liệu nhập:

Nhập vào 2 số nguyên m và b (1 ≤ m ≤ 1000, 1 ≤ b ≤ 10000).

Dữ liệu xuất:

Xuất ra số lượng chuối lớn nhất mà Osaka có thể nhận được. Kết quả không vượt quá 10¹⁸.

Ví dụ:

Giải thích Test 01:

Hình chữ nhật tối ưu được tô màu đỏ và có 30 quả chuối.