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<List<Edge>> 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<Integer> ts = new ArrayDeque<>();
		for (int i = 0; i < n; i++) {
			if (d[i] == -1) {
				Deque<Integer> 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<Integer> 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);
		}
	}
}