Kratki

Limit pamięci: 32 MB

Jaś ma wiele czystych białych kartek papieru. Kartki mają różne wielkości. Jaś postanowił przerobić pewną białą kartkę na kartkę w kratkę - czyli chciałby dorysować pewną liczbę pionowych kresek i pewną liczbę poziomych kresek (równoległych do boków kartki), które podzielą kartkę na małe prostokąty.

Jaś musi jednak zachować odstęp milimetrów pomiędzy kolejnymi liniami, zaś odległość linii od dowolnego boku musi wynosić co najmniej milimetr. Jaś chciałby wybrać taką kartkę, którą będzie mógł podzielić na jak największą liczbę prostokątów (prostokąty utworzone pomiędzy pierwszą linią a bokiem kartki również liczymy). Ze wszystkich kartek, które będzie mógł podzielić na taką samą liczbę prostokątów, chciałby wybrać kartkę o największej powierzchni. Pomóż Jasiowi i podaj mu powierzchnię kartki, którą powinien wybrać.

Wejście

Pierwszy wiersz wejścia zawiera dwie liczby całkowite (), oznaczające odpowiednio liczbę białych kartek Jasia oraz minimalny odstęp pomiędzy liniami. Następnych wierzy zawiera opisy kolejnych kartek papieru. Każdy z wierszy składa się z dwóch liczb całkowitych (), oznaczających odpowiednio długość i szerokość -tej kartki.

Wyjście

Pierwszy i jedyny wiersz wyjścia powinien zawierać jedną liczbę oznaczającą powierzchnię kartki, którą powinien wybrać Jaś.

Przykład

Dla danych wejściowych:

2 2
2 5
3 6

poprawną odpowiedzią jest:

18

Autor zadania: Jacek Tomasiewicz.