RT WA了一个点（第三个）

下载数据后发现第三个点第三个输出是INF，但是memset改了之后就全WA了

代码如下

#include <bits/stdc++.h>
using namespace std;

const int maxn = 10010;
const int maxm = 500010;
struct edge
{
	int to, val, nxt;
} e[maxm << 1];
long long head[maxn],tot,dis[maxn];
bool vis[maxn];
long long n, m, s, t;
queue<int> que;

void addedge(int u, int v, int val)
{
	e[++tot].to = v;
	e[tot].val = val;
	e[tot].nxt = head[u];
	head[u] = tot;
}

void spfa()
{
	memset(dis, 0x7f , sizeof(dis));
	memset(vis, 0, sizeof(vis));
	que.push(s);
	dis[s] = 0, vis[s] = 1;
	while (!que.empty())
	{
		int x = que.front();
		que.pop();
		vis[x] = false;
		for (int i = head[x]; i; i = e[i].nxt)
		{
			int y = e[i].to, z = e[i].val;
			if (dis[y] > dis[x] + z)
			{
				dis[y]=dis[x]+z;
				if (!vis[y])
					que.push(y), vis[y] = true;
			}
		}
	}
}

int main()
{
//	freopen("spfa.in", "r", stdin);
//	freopen("spfa.out", "w", stdout);
	cin >> n >> m >> s;
	for (int i = 1; i <= m; ++i)
	{
		int u, v, val;
		cin >> u >> v >> val;
		addedge(u, v, val);
	}
	spfa();
	for(int i=1;i<=n;i++)
	{
		if(s==i)
		{
			cout<<0<<" ";
		}
		else
		{
			cout<<dis[i]<<" ";
		}
	}
	return 0;
}