#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;
using mint = modint998244353;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int h, w, n, k;
  cin >> h >> w >> n >> k;
  mint tot = mint(h - k + 1) * (w - k + 1);
  int mxh = 0, mxw = 0;
  VI sh, sw;
  rep(_, 2) {
    if (h >= 2 * k) {
      mxh = h - 2 * k;
      rep(i, k) rep(_, 2) sh.emplace_back(i + 1);
    } else {
      rep(i, h) sh.emplace_back(min(h - k, i) - max(0, i - k + 1) + 1);
    }
    swap(h, w);
    swap(sh, sw);
    swap(mxh, mxw);
  }
  mint ans;
  for(int si: sh) for(int sj: sw) {
    mint v = tot - mint::raw(si * sj);
    ans += v.pow(n);
  }
  for(int sj: sw) {
    mint v = tot - mint::raw(k * sj);
    ans += v.pow(n) * mxh;
  }
  for(int si: sh) {
    mint v = tot - mint::raw(si * k);
    ans += v.pow(n) * mxw;
  }
  {
    mint v = tot - mint::raw(k * k);
    ans += v.pow(n) * mxh * mxw;
  }
  ans /= tot.pow(n);
  ans = mint(h) * w - ans;
  // cout << tot.val() << endl;
  // cout << mxh << ' ' << mxw << endl;
  // for(int x : sh) cout << x << ' ';
  // cout << endl;
  // for(int x: sw) cout << x << ' ';
  // cout << endl;
  cout << ans.val() << '\n';
}