import java.io.*; import java.util.*; public class Main_yukicoder468 { private static Scanner sc; private static Printer pr; private static void solve() { int n = sc.nextInt(); int m = sc.nextInt(); long[] d = new long[n]; Arrays.fill(d, -1); List> edges = new ArrayList<>(); for (int i = 0; i < n; i++) { edges.add(new ArrayList<>()); } for (int i = 0; i < m; i++) { int a = sc.nextInt(); int b = sc.nextInt(); int c = sc.nextInt(); edges.get(a).add(new Edge(a, b, c)); } Deque ts = new ArrayDeque<>(); for (int i = 0; i < n; i++) { if (d[i] == -1) { Deque st = new ArrayDeque<>(); st.push(i); while (!st.isEmpty()) { int e = st.peek(); if (d[e] == -1) { for (Edge next : edges.get(e)) { if (d[next.v] == -1) { st.push(next.v); } } d[e] = 0; } else { ts.push(e); st.pop(); } } } } final long INF = Long.MAX_VALUE; Arrays.fill(d, 0); int s = 0; d[s] = 0; for (int e : ts) { for (Edge next : edges.get(e)) { d[next.v] = Math.max(d[next.v], d[e] + next.w); } } long[] d2 = new long[n]; Arrays.fill(d2, INF); List ts2 = new ArrayList<>(ts); d2[ts2.get(n - 1)] = d[ts2.get(n - 1)]; for (int i = n - 1; i >= 0; i--) { int e = ts2.get(i); for (Edge next : edges.get(e)) { d2[e] = Math.min(d2[e], d2[next.v] - next.w); } } int diff = 0; for (int i = 0; i < n; i++) { if (d[i] != d2[i]) { diff++; } } // pr.println(ts); // pr.println(-d[n - 1]); pr.printf("%d %d/%d\n", d[n - 1], diff, n); } private static class Edge { @SuppressWarnings("unused") int u; // from int v; // to int w; // cost Edge(int u, int v, int w) { this.u = u; this.v = v; this.w = w; } } // --------------------------------------------------- public static void main(String[] args) { sc = new Scanner(System.in); pr = new Printer(System.out); solve(); pr.close(); sc.close(); } @SuppressWarnings("unused") private static class Scanner { BufferedReader br; Scanner (InputStream in) { br = new BufferedReader(new InputStreamReader(in)); } private boolean isPrintable(int ch) { return ch >= '!' && ch <= '~'; } private boolean isCRLF(int ch) { return ch == '\n' || ch == '\r' || ch == -1; } private int nextPrintable() { try { int ch; while (!isPrintable(ch = br.read())) { if (ch == -1) { throw new NoSuchElementException(); } } return ch; } catch (IOException e) { throw new NoSuchElementException(); } } String next() { try { int ch = nextPrintable(); StringBuilder sb = new StringBuilder(); do { sb.appendCodePoint(ch); } while (isPrintable(ch = br.read())); return sb.toString(); } catch (IOException e) { throw new NoSuchElementException(); } } int nextInt() { try { // parseInt from Integer.parseInt() boolean negative = false; int res = 0; int limit = -Integer.MAX_VALUE; int radix = 10; int fc = nextPrintable(); if (fc < '0') { if (fc == '-') { negative = true; limit = Integer.MIN_VALUE; } else if (fc != '+') { throw new NumberFormatException(); } fc = br.read(); } int multmin = limit / radix; int ch = fc; do { int digit = ch - '0'; if (digit < 0 || digit >= radix) { throw new NumberFormatException(); } if (res < multmin) { throw new NumberFormatException(); } res *= radix; if (res < limit + digit) { throw new NumberFormatException(); } res -= digit; } while (isPrintable(ch = br.read())); return negative ? res : -res; } catch (IOException e) { throw new NoSuchElementException(); } } long nextLong() { try { // parseLong from Long.parseLong() boolean negative = false; long res = 0; long limit = -Long.MAX_VALUE; int radix = 10; int fc = nextPrintable(); if (fc < '0') { if (fc == '-') { negative = true; limit = Long.MIN_VALUE; } else if (fc != '+') { throw new NumberFormatException(); } fc = br.read(); } long multmin = limit / radix; int ch = fc; do { int digit = ch - '0'; if (digit < 0 || digit >= radix) { throw new NumberFormatException(); } if (res < multmin) { throw new NumberFormatException(); } res *= radix; if (res < limit + digit) { throw new NumberFormatException(); } res -= digit; } while (isPrintable(ch = br.read())); return negative ? res : -res; } catch (IOException e) { throw new NoSuchElementException(); } } float nextFloat() { return Float.parseFloat(next()); } double nextDouble() { return Double.parseDouble(next()); } String nextLine() { try { int ch; while (isCRLF(ch = br.read())) { if (ch == -1) { throw new NoSuchElementException(); } } StringBuilder sb = new StringBuilder(); do { sb.appendCodePoint(ch); } while (!isCRLF(ch = br.read())); return sb.toString(); } catch (IOException e) { throw new NoSuchElementException(); } } void close() { try { br.close(); } catch (IOException e) { // throw new NoSuchElementException(); } } } private static class Printer extends PrintWriter { Printer(PrintStream out) { super(out); } } }