Micro-ondas

A empresa Charliebot negocia várias estratégias de investimento de alta frequência na SBC (Sociedade de Bolsas Computadorizadas). A empresa se preocupa muito com a latência de rede, pois quanto menor ela for, maior será o retorno esperado das estratégias.

A rede de fibra óptica utilizada atualmente foi mapeada em NN pontos de presença e MM links bidirecionais. Os sinais de compra e venda da Charliebot se originam em seu data center (o ponto 1) e precisam chegar à instalação de co-location da SBC (o ponto NN). Para cada par (i,j)(i,j) de pontos de presença conectados diretamente, foi medida a latência fijf_{ij} em microssegundos.

O provedor de rede instalou recentemente uma rede de micro-ondas bidirecional entre alguns pontos de presença e mediu sua latência em wijw_{ij} microssegundos. Com isso, surgiu uma nova opção para reduzir a latência. Entretanto, essa rede é mais cara e o orçamento da Charliebot permite contratar no máximo KK links de micro-ondas.

Como um link de micro-ondas pode ter que contornar o terreno em que foi instalado, não há nenhuma garantia de que wij<fijw_{ij} < f_{ij}. Além disso, o provedor de rede garante que sempre será possível encontrar um caminho na rede mesmo quando o orçamento para micro-ondas for 0.

Qual é a menor latência possível, em microssegundos, de fim a fim?

Entrada

A primeira linha contém três inteiros NN, MM e KK (2N1052 \leq N \leq 10^{5}, 1M2×1051 \leq M \leq 2 \times 10^{5}, 0K100 \leq K \leq 10).

Cada uma das MM linhas seguintes contém quatro inteiros ii, jj, fijf_{ij} e wijw_{ij} (1i,jN1 \leq i, j \leq N, iji \neq j, 1fij1091 \leq f_{ij} \leq 10^{9}, wij=1w_{ij} = -1 ou 1wij1091 \leq w_{ij} \leq 10^{9}), descrevendo uma conexão direta entre os pontos de presença ii e jj com latência fijf_{ij} na fibra e wijw_{ij} no canal de micro-ondas. Se wij=1w_{ij} = -1, não há canal de micro-ondas naquela conexão. Cada par de pontos aparece em no máximo uma linha.

Saída

Imprima uma única linha contendo um inteiro correspondente à latência mínima, em microssegundos, entre o data center da Charliebot e a SBC, usando no máximo KK links de micro-ondas.

Exemplos

Entrada

4 5 1
1 2 10 3
2 4 10 4
1 3 5 -1
3 4 7 2
1 4 30 8

Saída

7

Como é permitido usar no máximo um link de micro-ondas, a melhor rota é ir do ponto 1 ao ponto 3 pela fibra óptica, com latência de 5 microssegundos, e do ponto 3 ao ponto 4 pelo link de micro-ondas, com latência de 2 microssegundos. Assim, a latência total é de 7 microssegundos.

Entrada

3 3 0
1 2 5 2
2 3 7 1
1 3 20 3

Saída

12