Problem

Given an undirected graph of $ N $ vertices $ M $ edges. Each vertex has a different number from $ 1 $ to $ N $. You want to start at vertex $ S $ at time $ 0 $ and move to vertex $ G $. Parameters $ a and b $ are set on each side, and if the time $ t $ starts from the vertex on one side of that side, the time $ t + ceil \ left (\ cfrac {b) is on the other vertex. } {t + a} \ right) It is known to reach $. Here, $ ceil (x) $ represents the smallest integer greater than or equal to $ x $. Also, each vertex can consume any extra non-negative integer time. That is, when you are at the peak at time $ t $, you can choose any non-negative integer $ k $ and wait until time $ t + k $. Aiming for the fastest and strongest algorithm, you want to find the minimum amount of time it takes to move from vertex $ S $ to vertex $ G $.

Constraints

The input satisfies the following conditions.

* $ 1 \ le N, M \ le 2 \ times 10 ^ 5 $
* $ 1 \ le S, G \ le N $, $ S \ neq G $
* $ 1 \ le U_i, V_i \ le N $, $ U_i \ neq V_i (1 \ le i \ le M) $
* $ 1 \ le A_i, B_i \ le 10 ^ {15} (1 \ le i \ le M) $
* All given inputs are integers

Input

The input is given in the following format.


$ N $ $ M $ $ S $ $ G $
$ U_1 $ $ V_1 $ $ A_1 $ $ B_1 $
$ U_2 $ $ V_2 $ $ A_2 $ $ B_2 $
::
$ U_M $ $ V_M $ $ A_M $ $ B_M $


In the $ 1 $ line, the number of vertices $ N $, the number of edges $ M $, the start vertex number $ S $, and the goal vertex number $ G $ are given, separated by blanks.
In the following $ M $ line, the information of each side is given separated by blanks. The information on the $ i $ line indicates that there is an edge such that $ (a, b) = (A_i, B_i) $ between the vertex $ U_i $ and the vertex $ V_i $.

Output

Output the minimum time it takes to move from vertex $ S $ to vertex $ G $. If you can't move from vertex $ S $ to vertex $ G $, print $ -1 $ instead.

Examples

Input

2 1 1 2
1 2 1 100


Output

19


Input

2 1 1 2
1 2 50 100


Output

2


Input

3 1 1 3
1 2 1 1


Output

-1


Input

3 3 1 3
1 2 1 1
2 3 1 6
2 3 50 100


Output

3


Input

3 3 1 3
1 2 10 100
2 3 1 6
2 3 50 100


Output

11
// g++ -std=c++11 a.cpp
#include<iostream>
#include<vector>
#include<string>
#include<algorithm>	
#include<map>
#include<set>
#include<unordered_map>
#include<utility>
#include<cmath>
#include<random>
#include<cstring>
#include<queue>
#include<stack>
#include<bitset>
#include<cstdio>
#include<sstream>
#include<iomanip>
#include<assert.h>
#include<typeinfo>
#define loop(i,a,b) for(int i=a;i<b;i++) 
#define rep(i,a) loop(i,0,a)
#define FOR(i,a) for(auto i:a)
#define pb push_back
#define all(in) in.begin(),in.end()
#define shosu(x) fixed<<setprecision(x)
#define show1d(v) rep(i,v.size())cout<<" "<<v[i];cout<<endl<<endl;
#define show2d(v) rep(i,v.size()){rep(j,v[i].size())cout<<" "<<v[i][j];cout<<endl;}cout<<endl;
using namespace std;
//kaewasuretyuui
typedef long long ll;
#define int ll
typedef int Def;
typedef pair<Def,Def> pii;
typedef vector<Def> vi;
typedef vector<vi> vvi;
typedef vector<pii> vp;
typedef vector<vp> vvp;
typedef vector<string> vs;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef pair<Def,pii> pip;
typedef vector<pip>vip;
// #define mt make_tuple
// typedef tuple<int,int,int> tp;
// typedef vector<tp> vt;
template<typename A,typename B>bool cmin(A &a,const B &b){return a>b?(a=b,true):false;}
template<typename A,typename B>bool cmax(A &a,const B &b){return a<b?(a=b,true):false;}
//template<class C>constexpr int size(const C &c){return (int)c.size();}
//template<class T,size_t N> constexpr int size(const T (&xs)[N])noexcept{return (int)N;}
const double PI=acos(-1);
const double EPS=1e-9;
Def inf = sizeof(Def) == sizeof(long long) ? 2e18 : 1e9+10;
int dx[]={0,1,0,-1};
int dy[]={1,0,-1,0};

/*
struct edge{int to,cap,rev;};//ikisaki youryou gyakuhen
class MF{//max flow
	public:
	int n;
	vector<vector<edge> >G;//[MAX];
	vi level,iter;//[MAX];
	MF(int size){
		n=size;
		G=vector<vector<edge> >(n);
	}
	void add_edge(int from, int to, int cap){
		edge q={to,cap,int(G[to].size())};
		G[from].push_back(q);
		q={from,0,int(G[from].size()-1)};
		G[to].push_back(q);
	}
	void bfs(int s){
		level=vi(n,-1);
		queue<int>q;
		level[s]=0;
		q.push(s);
		while(!q.empty()){
			int v=q.front();q.pop();
			for(int i=0;i<G[v].size();i++){
				edge &e=G[v][i];
				if(e.cap>0&&level[e.to]<0){
					level[e.to]=level[v]+1;
					q.push(e.to);
				}
			}
		}
	}
	int dfs(int v,int t, int f) {
		if(v==t)return f;
		for(int &i=iter[v];i<G[v].size();i++){
			edge &e=G[v][i];
			if(level[v]>=level[e.to]||e.cap<=0) continue;
			int d =dfs(e.to,t,min(f,e.cap));
			if(d>0){
				e.cap-=d;
				G[e.to][e.rev].cap+=d;
				return d;
			}
		}
		return 0;
	}
	int mf(int s,int t) {//from s to t,ford_fulkerson
		int flow=0;
		while(1){
			bfs(s);
			if(level[t]<0)return flow;
			iter=vi(n);
			int f;
			while((f=dfs(s,t,inf))>0)flow+=f;
		}
	}
};
int main(){
	
	
	
	
}
*/
class DIJ{
	public:
	struct edge{
		int to;
		int d;
		int a,b;
	};
	vector<vector<edge> >G;
	int n;
	vi d;//distance
	DIJ(int size){
		n=size;
		G=vector<vector<edge> >(n);
	}
	void add_edge(int a,int b,int c,int d,int e){
		edge eee={b,c,d,e},ee={a,c,d,e};
		G[a].pb(eee);
		G[b].pb(ee);
	}
	void dij(int s){
		d=vi(n,inf);
		d[s]=0;
		priority_queue<pii>q;
		q.push(pii(0,s));
		while(!q.empty()){
			pii p=q.top();
			q.pop();
			int pos=p.second;
			int cost=-p.first;
			if(cost>d[pos])continue;
			rep(i,G[pos].size()){
				edge e=G[pos][i];
				int to=e.to;
				int nowcost=cost;
				if(cost<e.d)nowcost=e.d+ceil((double)e.b/(e.d+e.a));
				else{
					nowcost=cost+ceil((double)e.b/(cost+e.a));
				}
				if(nowcost<d[to]){
					d[to]=nowcost;
					q.push(pii(-d[to],to));
				}
			}
		}
	}
};
ll f(int r,int c,int d){
	return r+ceil((double)d/(r+c));
}
signed main(){
	int n,m,s,g;
	cin>>n>>m>>s>>g;
	s--;g--;
	DIJ dij(n);
	while(m--){
		int a,b,c,d;
		cin>>a>>b>>c>>d;
		a--;b--;
		int t1=(max(0.,sqrt(d)-c)),t2=t1+1;
		int d1=f(t1,c,d),d2=f(t2,c,d);
		int out;
		if(d1<d2)out=t1;
		else out=t2;
		dij.add_edge(a,b,out,c,d);
	}
	dij.dij(s);
	if(dij.d[g]==inf)cout<<-1<<endl;
	else cout<<dij.d[g]<<endl;
}







