在线编程：Dijkstra最短路与路径

输出距离并重建字典序约定路径。

输入：第一行n、m、src、dst，随后非负权无向边。
输出：不可达输出UNREACHABLE；否则输出距离与节点路径。
约束：1≤n≤100000。

使用 Python 3 从标准输入读取，向标准输出写出唯一规定结果；不得读取文件或网络。

使用 Python 3 标准输入输出；不得使用第三方包。必须覆盖题面边界，不能只针对样例。