Vòng hoa giấy

Bạn có $n$ tờ giấy màu, mỗi tờ có diện tích đúng $1$ mét vuông. Tờ giấy thứ $i$ có màu $s_i$.

Bạn muốn làm một vòng hoa gồm đúng $m$ mảnh giấy, trong đó mảnh thứ $j$ phải có màu $t_j$. Mỗi mảnh được cắt ra từ một tờ giấy có cùng màu với nó. Diện tích mỗi mảnh là một số thực dương tuỳ ý, nhưng bạn chỉ được cắt chứ không được dán ghép nhiều mảnh lại với nhau, nên diện tích một mảnh không thể vượt quá $1$. Một tờ giấy có thể bị cắt thành bao nhiêu mảnh tuỳ ý, và bạn không bắt buộc phải dùng hết các tờ giấy đang có.

Hãy tính tổng diện tích lớn nhất của $m$ mảnh giấy trong vòng hoa, hoặc in ra $-1$ nếu không thể làm được vòng hoa. Dữ liệu đảm bảo đáp án luôn là một số nguyên.

Dữ liệu vào

• Dòng đầu tiên chứa xâu $s$ gồm $n$ chữ cái latin thường, mô tả màu của các tờ giấy bạn đang có.
• Dòng thứ hai chứa xâu $t$ gồm $m$ chữ cái latin thường, mô tả màu của các mảnh giấy trong vòng hoa.

Dữ liệu ra

In ra một số nguyên duy nhất là tổng diện tích lớn nhất có thể đạt được, hoặc $-1$ nếu không thể làm được vòng hoa.

Ràng buộc

• $1\le n\le 1000$
• $1\le m\le 1000$
• $s$ và $t$ chỉ gồm các chữ cái latin thường (từ "a" đến "z")

Ví dụ