Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

Problem Statement

You are now participating in the Summer Training Camp for Programming Contests with your friend Jiro, who is an enthusiast of the ramen chain SIRO.
Since every SIRO restaurant has its own tasteful ramen, he wants to try them at as many different restaurants as possible in the night.
He doesn't have plenty of time tonight, however, because he has to get up early in the morning tomorrow to join a training session.
So he asked you to find the maximum number of different restaurants to which he would be able to go to eat ramen in the limited time.

There are $n$ railway stations in the city, which are numbered $1$ through $n$. The station $s$ is the nearest to the camp venue.
$m$ pairs of stations are directly connected by the railway: you can move between the stations $a_i$ and $b_i$ in $c_i$ minutes in the both directions.
Among the stations, there are $l$ stations where a SIRO restaurant is located nearby. There is at most one SIRO restaurant around each of the stations, and there are no restaurants near the station $s$.
It takes $e_i$ minutes for Jiro to eat ramen at the restaurant near the station $j_i$.

It takes only a negligibly short time to go back and forth between a station and its nearby SIRO restaurant.
You can also assume that Jiro doesn't have to wait for the ramen to be served in the restaurants.

Jiro is now at the station $s$ and have to come back to the station in $t$ minutes. How many different SIRO's can he taste?

Input

The input is a sequence of datasets. The number of the datasets does not exceed $100$. Each dataset is formatted as follows:

$n$ $m$ $l$ $s$ $t$
$a_1$ $b_1$ $c_1$
:
:
$a_m$ $b_m$ $c_m$
$j_1$ $e_1$
:
:
$j_l$ $e_l$

The first line of each dataset contains five integers:

$n$ for the number of stations,

$m$ for the number of directly connected pairs of stations,

$l$ for the number of SIRO restaurants,

$s$ for the starting-point station, and

$t$ for the time limit for Jiro.

Each of the following $m$ lines contains three integers:

$a_i$ and $b_i$ for the connected stations, and

$c_i$ for the time it takes to move between the two stations.

Each of the following $l$ lines contains two integers:

$j_i$ for the station where a SIRO restaurant is located, and

$e_i$ for the time it takes for Jiro to eat at the restaurant.

The end of the input is indicated by a line with five zeros, which is not included in the datasets.

The datasets satisfy the following constraints:

$2 \le n \le 300$

$1 \le m \le 5{,}000$

$1 \le l \le 16$

$1 \le s \le n$

$1 \le t \le 100{,}000$

$1 \le a_i, b_i \le n$

$1 \le c_i \le 1{,}000$

$1 \le j_i \le n$

$1 \le e_i \le 15$

$s \ne j_i$

$j_i$'s are distinct.

$a_i \ne b_i$

$(a_i, b_i) \ne (a_j, b_j)$ and $(a_i, b_i) \ne (b_j, a_j)$ for any $i \ne j$

Note that there may be some stations not reachable from the starting point $s$.

Output

For each data set, output the maximum number of different restaurants where Jiro can go within the time limit.

Sample Input

2 1 1 1 10
1 2 3
2 4
2 1 1 1 9
1 2 3
2 4
4 2 2 4 50
1 2 5
3 4 5
2 15
3 15
4 6 3 1 29
1 2 20
3 2 10
4 1 5
3 1 5
2 4 3
3 4 4
2 1
4 5
3 3
0 0 0 0 0

Output for the Sample Input

1
0
1
3

Solution in C++11 (judge verdict: Time Limit Exceeded)

#include <bits/stdc++.h>
#define N 300
using namespace std;
typedef pair<int,int> P;
typedef pair<int,P> PP;
int G[N][N];
int SIRO[N],idx[N];
int n,m,l,s,T;

int dijkstra(){
  vector<vector<int> >D(1<<l,vector<int>(n,T+1));   
  priority_queue<PP,vector<PP>,greater<PP> >Q;
  Q.push(PP(0,P(0,s))),D[0][s] = 0;

  int res = 0;
  while(!Q.empty()){
    PP t = Q.top();Q.pop();
    int cost = t.first;
    int bit = t.second.first;
    int pos = t.second.second;
    if(D[bit][pos]<cost)continue;
    if(pos == s)res = max(res,__builtin_popcount(bit));
    
    for(int i=0;i<n;i++){
      if(i!=s&&SIRO[i]==0)continue;
      int ncost= cost+G[pos][i];
      int nbit = bit;
      if(D[nbit][i]>ncost){
	Q.push(PP(ncost,P(nbit,i)));
	D[nbit][i] = ncost;
      }
      if(i==s||bit>>idx[i]&1)continue;
      nbit|=1<<idx[i],ncost+=+SIRO[i];
      if(D[nbit][i]>ncost){
      Q.push(PP(ncost,P(nbit,i)));
      D[nbit][i] = ncost;
      }
      
      
    }
  }
  return res;
}

int main(){
  while(1){
    cin>>n>>m>>l>>s>>T;
    if(!n&&!m&&!l&&!s&&!T)return 0;
    s--;

    for(int i=0;i<N;i++){
      for(int j=0;j<N;j++) G[i][j] = T+1;
      G[i][i] = 0;
    }
    
    for(int i=0,a,b,c;i<m;i++){
      cin>>a>>b>>c;a--,b--;
      G[a][b] = G[b][a] = c;
    }
    
    for(int k=0;k<n;k++)
      for(int i=0;i<n;i++)
	for(int j=0;j<n;j++)
	  G[i][j] = min(G[i][j],G[i][k]+G[k][j]);
    
    memset(SIRO,0,sizeof(SIRO));
    for(int i=0,j,e;i<l;i++)cin>>j>>e,SIRO[j-1]=e,idx[j-1] = i;
    cout<< dijkstra()<<endl;
  }
  return 0;
}