#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ITM_MAX		100										// 最大品物数
#define D_CAP_MAX		100005									// 最大容量

// 内部構造体 - 品物情報
typedef struct Itm {
	int miVal;													// 価値
	int miCap;													// 容量
} Itm;

// 内部変数
static FILE *szpFpI;											// 入力
static Itm sz1Itm[D_ITM_MAX];									// 品物
static int siICnt;												// 品物数
static int siVMax;												// 最大価値
static int si2Val[D_ITM_MAX][D_CAP_MAX];						// 価値[品物][容量]
static int siCMin;												// 最小容量
static int siCMax;												// 最大容量

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// ソート関数 - コスパ降順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	Itm *lzpVal1 = (Itm *)pzpVal1;
	Itm *lzpVal2 = (Itm *)pzpVal2;

	// コスパ
	double ldVal1 = (double)lzpVal1->miVal / (double)lzpVal1->miCap;
	double ldVal2 = (double)lzpVal2->miVal / (double)lzpVal2->miCap;

	// コスパ降順
	if (ldVal1 > ldVal2) {
		return -1;
	}
	else if (ldVal1 < ldVal2) {
		return 1;
	}

	return 0;
}

// 価値[品物][容量] - セット
int
fSetVal(
	int piINo					// <I> 品物 0～
	, int piVSum				// <I> 価値合計
	, int piCSum				// <I> 容量合計
)
{
	// 価値[品物][容量] - セット
	if (piVSum > 0) {
		if (si2Val[piINo][piCSum] >= piVSum) {
			return 0;
		}
		si2Val[piINo][piCSum] = piVSum;
	}

	// 選択中
	if (piINo < siICnt) {

		// 選択
		fSetVal(piINo + 1, piVSum + sz1Itm[piINo].miVal, piCSum + sz1Itm[piINo].miCap);

		// 選択なし
		fSetVal(piINo + 1, piVSum, piCSum);
	}

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i;
	char lc1Buf[1024];

	// 品物数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siICnt);

	// 品物 - 取得
	for (i = 0; i < siICnt; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d%d", &sz1Itm[i].miVal, &sz1Itm[i].miCap);
	}

	// 品物 - ソート
	qsort(sz1Itm, siICnt, sizeof(Itm), fSortFnc);

	// 価値[品物][容量] - セット
	fSetVal(0, 0, 0);

	// 最大価値 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siVMax);

	// 最小容量 - セット
	for (i = 1; i < D_CAP_MAX; i++) {
		if (si2Val[siICnt][i] == siVMax) {
			siCMin = i;
			break;
		}
	}

	// 最大容量 - セット
	for ( ; i < D_CAP_MAX; i++) {
		if (si2Val[siICnt][i] > siVMax) {
			siCMax = i - 1;
			break;
		}
	}

	// 出力 - 最小容量
	sprintf(lc1Buf, "%d\n", siCMin);
	fOut(lc1Buf);

	// 出力 - 最小容量
	if (siCMax > 0) {
		sprintf(lc1Buf, "%d\n", siCMax);
	}
	else {
		sprintf(lc1Buf, "inf\n");
	}
	fOut(lc1Buf);

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(si2Val, 0, sizeof(si2Val));							// 価値[品物][容量]
	siCMax = 0;													// 最大容量

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}