import java.io.IOException; import java.io.InputStream; import java.io.PrintWriter; import java.util.ArrayDeque; import java.util.ArrayList; import java.util.Arrays; import java.util.NoSuchElementException; import java.util.Queue; public class Main { final long MOD=(long)1e9+7; class Edge { int src,dst,cost; public Edge(int src,int dst,int cost) { this.src=src; this.dst=dst; this.cost=cost; } } void run() { FastScanner sc=new FastScanner(); PrintWriter pw=new PrintWriter(System.out); int N=sc.nextInt(); int M=sc.nextInt(); ArrayList[] g=new ArrayList[N]; ArrayList[] g_rev=new ArrayList[N]; for (int i=0;i(); g_rev[i]=new ArrayList<>(); } int[] t_quick=new int[N]; int[] t_lazy=new int[N]; Arrays.fill(t_lazy, Integer.MAX_VALUE/3); int[] in_deg=new int[N]; int[] out_deg=new int[N]; for (int i=0;i que=new ArrayDeque<>(); que.add(0); while (!que.isEmpty()) { int v=que.poll(); for (Edge e:g[v]) { t_quick[e.dst]=Math.max(t_quick[e.dst], t_quick[e.src]+e.cost); --in_deg[e.dst]; if (in_deg[e.dst]==0) que.add(e.dst); } } t_lazy[N-1]=t_quick[N-1]; que.add(N-1); while(!que.isEmpty()) { int v=que.poll(); for (Edge e:g_rev[v]) { t_lazy[e.dst]=Math.min(t_lazy[e.dst], t_lazy[v]-e.cost); --out_deg[e.dst]; if (out_deg[e.dst]==0) que.add(e.dst); } } int free=0; for (int i=0;it_quick[i]) ++free; System.out.println(t_quick[N-1]+" "+free+"/"+N); pw.close(); } void tr(Object...objects) {System.out.println(Arrays.deepToString(objects));} public static void main(String[] args) { new Main().run(); } } class FastScanner { private final InputStream in = System.in; private final byte[] buffer = new byte[1024]; private int ptr = 0; private int buflen = 0; private boolean hasNextByte() { if (ptr < buflen) { return true; }else{ ptr = 0; try { buflen = in.read(buffer); } catch (IOException e) { e.printStackTrace(); } if (buflen <= 0) { return false; } } return true; } private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;} private static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;} private void skipUnprintable() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++;} public boolean hasNext() { skipUnprintable(); return hasNextByte();} public String next() { if (!hasNext()) throw new NoSuchElementException(); StringBuilder sb = new StringBuilder(); int b = readByte(); while(isPrintableChar(b)) { sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } public long nextLong() { if (!hasNext()) throw new NoSuchElementException(); long n = 0; boolean minus = false; int b = readByte(); if (b == '-') { minus = true; b = readByte(); } if (b < '0' || '9' < b) { throw new NumberFormatException(); } while(true){ if ('0' <= b && b <= '9') { n *= 10; n += b - '0'; }else if(b == -1 || !isPrintableChar(b)){ return minus ? -n : n; }else{ throw new NumberFormatException(); } b = readByte(); } } public int nextInt() { return (int)nextLong(); } }