Lusius Quietus, one of the generals of Trajan, the Roman emperor, is sending signals to his army using signal towers like the one above, where the fires you lit can be seen from afar.
He wants to send the string describing military manoeuvres. However, sending long messages via fire signals is time-consuming, so Lusius decides to use a shorthand system. To abbreviate the message, Lusius can replace any substring of with the special character *. For example, if is "swerc", then some possible abbreviations are: "swe*" , "*sw*r*" , "swerc" , "*" , etc. Note that * can match the whole string or no character at all, so "*sw*r*" is indeed considered a valid abbreviation of "swerc" even though it’s longer (Lusius is not always clever).
However, there is a problem: the recipient might misinterpret Lusius’s message. If the abbreviation he sends is also a valid abbreviation of the string , which is a word used to signal retreat, it could lead to losing the war.
Help Lusius find the length of the shortest possible abbreviation of that cannot be interpreted as an abbreviation of .
输入格式
The first line contains two integers and , the lengths of the strings and , respectively. The second line contains the string . The third line contains the string .
