Problem: Niwel is a little golden bear. As everyone knows, bears live in forests, but Niwel got tired of seeing all the trees so he decided to move to the city.

In the city, Niwel took on a job managing bears to deliver goods. The city that he lives in can be represented as a directed graph with n nodes and m edges. Each edge has a weight capacity. A delivery consists of a bear carrying weights with their bear hands on a simple path from node 1 to node n. The total weight that travels across a particular edge must not exceed the weight capacity of that edge.

Niwel has exactly x bears. In the interest of fairness, no bear can rest, and the weight that each bear carries must be exactly the same. However, each bear may take different paths if they like.

Niwel would like to determine, what is the maximum amount of weight he can deliver (it's the sum of weights carried by bears). Find the maximum weight.

Input

The first line contains three integers n, m and x (2 ≤ n ≤ 50, 1 ≤ m ≤ 500, 1 ≤ x ≤ 100 000) — the number of nodes, the number of directed edges and the number of bears, respectively.

Each of the following m lines contains three integers ai, bi and ci (1 ≤ ai, bi ≤ n, ai ≠ bi, 1 ≤ ci ≤ 1 000 000). This represents a directed edge from node ai to bi with weight capacity ci. There are no self loops and no multiple edges from one city to the other city. More formally, for each i and j that i ≠ j it's guaranteed that ai ≠ aj or bi ≠ bj. It is also guaranteed that there is at least one path from node 1 to node n.

Output

Print one real value on a single line — the maximum amount of weight Niwel can deliver if he uses exactly x bears. Your answer will be considered correct if its absolute or relative error does not exceed 10 - 6.

Namely: let's assume that your answer is a, and the answer of the jury is b. The checker program will consider your answer correct if <image>.

Examples

Input

4 4 3
1 2 2
2 4 1
1 3 1
3 4 2


Output

1.5000000000


Input

5 11 23
1 2 3
2 3 4
3 4 5
4 5 6
1 3 4
2 4 5
3 5 6
1 4 2
2 5 3
1 5 2
3 2 30


Output

10.2222222222

Note

In the first sample, Niwel has three bears. Two bears can choose the path <image>, while one bear can choose the path <image>. Even though the bear that goes on the path <image> can carry one unit of weight, in the interest of fairness, he is restricted to carry 0.5 units of weight. Thus, the total weight is 1.5 units overall. Note that even though Niwel can deliver more weight with just 2 bears, he must use exactly 3 bears on this day.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("-O2")
using namespace std;
void err(istream_iterator<string> it) { cerr << endl; }
template <typename T, typename... Args>
void err(istream_iterator<string> it, T a, Args... args) {
  cerr << *it << " = " << a << "\t";
  err(++it, args...);
}
template <typename T1, typename T2>
ostream& operator<<(ostream& c, pair<T1, T2>& v) {
  c << "(" << v.first << "," << v.second << ")";
  return c;
}
template <template <class...> class TT, class... T>
ostream& operator<<(ostream& out, TT<T...>& c) {
  out << "{ ";
  for (auto& x : c) out << x << " ";
  out << "}";
  return out;
}
const long long int LIM = 50 + 5, MOD = 1e9 + 7;
const long double EPS = 1e-9;
long long int read() {
  long long int xx = 0, ff = 1;
  char ch = getchar();
  while (ch > '9' || ch < '0') {
    if (ch == '-') ff = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    xx = (xx << 3) + (xx << 1) + ch - '0';
    ch = getchar();
  }
  return xx * ff;
}
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
struct EdmondKarp {
  long long int n;
  vector<vector<long long int>> cap;
  vector<vector<long long int>> adj;
  EdmondKarp(long long int n) {
    this->n = n;
    cap.assign(n, vector<long long int>(n, 0));
    adj.assign(n, vector<long long int>(n, 0));
    for (long long int i = 0; i < n; i++) {
      for (long long int j = 0; j < n; j++) {
        adj[i][j] = j;
      }
    }
  }
  void addEdge(long long int u, long long int v, long long int w) {
    cap[u][v] = w;
  }
  long long int bfs(long long int s, long long int t,
                    vector<long long int>& parent) {
    fill(parent.begin(), parent.end(), -1);
    parent[s] = -2;
    queue<pair<long long int, long long int>> q;
    q.push({s, 2e18});
    while (!q.empty()) {
      long long int cur = q.front().first;
      long long int flow = q.front().second;
      q.pop();
      for (auto& nxt : adj[cur]) {
        if (parent[nxt] == -1 && cap[cur][nxt] > 0) {
          parent[nxt] = cur;
          long long int new_flow = min(flow, cap[cur][nxt]);
          if (nxt == t) {
            return new_flow;
          }
          q.push({nxt, new_flow});
        }
      }
    }
    return 0;
  }
  long long int maxflow(long long int s, long long int t) {
    long long int flow = 0;
    vector<long long int> parent(n);
    long long int new_flow;
    while (new_flow = bfs(s, t, parent)) {
      flow += new_flow;
      long long int cur = t;
      while (cur != s) {
        long long int prev = parent[cur];
        cap[prev][cur] -= new_flow;
        cap[cur][prev] += new_flow;
        cur = prev;
      }
    }
    return flow;
  }
};
vector<pair<long long int, long long int>> adj[LIM];
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  long long int n, m, x;
  cin >> n >> m >> x;
  for (long long int i = 0; i < m; ++i) {
    long long int a, b, c;
    cin >> a >> b >> c;
    a--;
    b--;
    adj[a].push_back(make_pair(b, c));
  }
  long double l = 0, r = 1e9;
  for (long long int iter = 0; iter < 200; ++iter) {
    long double mid = (l + r) / 2;
    EdmondKarp f(n);
    assert(mid > 0);
    for (long long int i = 0; i < n; ++i) {
      for (auto& j : adj[i]) {
        f.addEdge(i, j.first, floor(((long double)j.second) / mid));
      }
    }
    long double ans = f.maxflow(0, n - 1);
    if (ans >= x) {
      l = mid;
    } else {
      r = mid;
    }
  }
  cout << setprecision(10) << fixed;
  cout << l * x << '\n';
  return 0;
}