Bắt kẻ chép bài

Hai học sinh bị nghi ngờ chép bài của nhau. Bài làm của họ được cho bởi hai xâu $A$ và $B$ gồm các chữ cái Latin thường.

Với hai xâu $C$ và $D$ bất kỳ, định nghĩa độ tương đồng của chúng là

$$S(C,D)=4·LCS(C,D)-|C|-|D|,$$

trong đó $LCS(C,D)$ là độ dài dãy con chung dài nhất của $C$ và $D$, còn $|X|$ là độ dài của xâu $X$.

Vì nhiều khả năng chỉ một phần bài làm bị chép, ta quan tâm tới các đoạn con của hai bài. Hãy tính giá trị lớn nhất của $S(C,D)$ trên mọi cặp $(C,D)$, với $C$ là một đoạn con liên tiếp của $A$ và $D$ là một đoạn con liên tiếp của $B$.

Lưu ý phân biệt hai khái niệm cùng xuất hiện trong đề: $C$ và $D$ phải là những đoạn liên tiếp (thu được bằng cách xoá một số ký tự ở đầu và một số ký tự ở cuối), còn $LCS$ được tính trên dãy con (thu được bằng cách xoá một số ký tự ở vị trí tuỳ ý).

Cho phép chọn $C$ và $D$ đều rỗng, khi đó $S(C,D)=0$, nên kết quả luôn không âm.

Dữ liệu vào

• Dòng đầu chứa hai số nguyên dương $n$ và $m$ là độ dài của $A$ và $B$.
• Dòng thứ hai chứa xâu $A$ gồm $n$ chữ cái Latin thường.
• Dòng thứ ba chứa xâu $B$ gồm $m$ chữ cái Latin thường.

Dữ liệu ra

Một số nguyên duy nhất là giá trị lớn nhất của $S(C,D)$.

Ràng buộc

• $1\le n,m\le 5000$
• $A$ và $B$ chỉ gồm các chữ cái Latin thường từ a đến z

Ví dụ