#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int DY[]{1, 0, -1, 0}, DX[]{0, -1, 0, 1}; constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1}, DX8[]{0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; struct Manacher { template Manacher(const T &s) { T str; int n = s.size(); for (int i = 0; i < n; ++i) { str.push_back(s[i]); if (i + 1 < n) str.push_back('$'); } n = str.size(); radius.resize(n); int j = 1; for (int i = 0; i < n;) { while (i - j >= 0 && i + j < n && str[i - j] == str[i + j]) ++j; radius[i] = j; int k = 1; while (i - k >= 0 && i + k < n && k + radius[i - k] < j) { radius[i + k] = radius[i - k]; ++k; } i += k; j -= k; } } int odd(int idx) const { return (radius[idx * 2] + 1) / 2; } int even(int idx) const { return radius[idx * 2 + 1] / 2; } bool is_palindrome(int left, int right) const { int mid = (left + right - 1) / 2; return (((right - left) & 1) ? odd(mid) * 2 - 1 : even(mid) * 2) >= right - left; } private: std::vector radius; }; // O(M^2) int solve(int n, const string &s, int m, const string &t) { int same = 0; for (; same < n && same < m; ++same) { if (s[same] != t[same]) break; } if (same == 0) return INF; Manacher manacher(t); int ans = 0; while (m > same) { bool is_updated = false; for (int len = m / 2; len > 0; --len) { if (manacher.is_palindrome(m - len * 2, m)) { m -= len; ++ans; is_updated = true; break; } } if (!is_updated) return INF; } return ans; } int main() { int n, m; string s, t; cin >> n >> m >> s >> t; if (m % 2 == 1 || !equal(ALL(t), t.rbegin())) { cout << "-1\n"; return 0; } int ans = solve(n, s, m, t); reverse(ALL(s)); chmin(ans, solve(n, s, m, t)); cout << (ans == INF ? -1 : ans) << '\n'; return 0; }