Yakko, Wakko và Dot chơi xúc xắc. Yakko ném xúc xắc và nhận được điểm Y, điểm của Wakko là W. Đến lượt của Dot. Nhưng cô không vội. Dot muốn biết chắc chắn cơ hội chiến thắng của cô là bao nhiêu. Được biết, Yakko và Wakko là những quý ông đích thực, đó là lý do tại sao nếu họ có cùng số điểm với Dot, họ sẽ để Dot giành chiến thắng.

Input: Dòng duy nhất của tệp đầu vào chứa hai số tự nhiên Y và W là kết quả của các lần tung xung xắc của Yakko và Wakko.

Output: Đưa ra xác suất cần thiết dưới dạng phân số không thể thay đổi theo định dạng "A/B", trong đó A là tử số và B là mẫu số. Nếu xác suất yêu cầu bằng 0, xuất ra "0/1". Nếu xác suất yêu cầu bằng 1, xuất ra "1/1".

Ví dụ:

Input:

4 2

Ouput:

1/2