请明确写出求下图中从结点s到结点y的最短路径的线性规划。