/*思路：列不等式组，然后解出不等式，得出答案的取值范围，最后取一个绝对值最小的答案就行了。*/
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
using namespace std;
const double eps=1e-8;
struct data
{
int sj;//存售价
int xl;//存销量
}s[110000];
int main()
{
int k=0,w=0,yqj=0,flag=-1;//flag用来记录预期值在数组中的位置
double low=-1e7,up=1e7;//记录答案的取值范围
scanf("%d%d%d",&yqj,&s[0].sj,&s[0].xl);
if(s[0].sj==yqj) flag=0;
for(;;)
{
int t1=0,t2=0;
scanf("%d%d",&t1,&t2);
if(t1==-1&&t2==-1) break;
int js=(s[k].xl-t2)/(t1-s[k].sj);
for(;;)//推导出输入中没给出的售价的销量
{
k++;
s[k].sj=s[k-1].sj+1;
s[k].xl=s[k-1].xl-js;
if(s[k].sj==yqj) flag=k;
if(s[k].sj==t1) break;
}
}
scanf("%d",&w);
for(;;)//将所有可以求出的售价的销量都推出来
{
if(s[k].xl-w<0) break;
k++;
s[k].sj=s[k-1].sj+1;
s[k].xl=s[k-1].xl-w;
if(s[k].sj==yqj) flag=k;
}
if(flag==-1)//如果所有已知的销量的售价中没有预期价，则无解
{
printf("NO SOLUTION");
return 0;
}
for(int i=0;i<=k;i++)//开始解不等式组
{
if(i==flag) continue;
double u=(s[flag].sj-s[0].sj)*s[flag].xl-(s[i].sj-s[0].sj)*s[i].xl;//解
double v=s[i].xl-s[flag].xl;
if(v<0) low=max(low,u/v);//记录
else up=min(up,u/v);
}
//输出答案
if(low>up) printf("NO SOLUTION");
else if(low>0)
if(fabs(low-(int)(low))<eps) printf("%d",int(low));
else printf("%d",int(low)+1);
else if(up<0)
if(fabs(up-(int)(up))<eps) printf("%d",int(up));
else printf("%d",int(up)-1);
else printf("0");
return 0;
}