آقای پستچی بترین پستچی دنیاست! در نتیجه او ارتقاء درجه گرفته و باید پستخانه از بین پستخانهی شهر را انتخاب کند و مسئول آنها شود. اگر شهر را از بالا نگاه کنیم مانند صفحهی مختصات دکارتی میشود که پستخانهی ، در نقطهی (،) است. از آنجایی که آقای پستچی انسان بسیار پرکاری میباشند، میخواهند جوری پستخانهها را انتخاب کنند که مساحت زیر پوشش پستخانههای انتخابی ایشان بیشینه شود. مساحت زیر پوشش مجموعهای از پستخانهها، همان پوش محدب آنها میباشد.(برای دریافت اطلاعات بیشتر دربارهی پوش محدب به اینجا مراجعه کنید) آقای پستچی میخواهد حجم کارش را بداند. از این رو از شما میخواهد که به او بگویید این مساحت بیشینه چقدر میباشد.
در سطر اول ورودی به ترتیب دو عدد و آمده است که به ترتیب نمایانگر تعداد پستخانههای شهر و تعداد پستخانههایی است که آقای پستچی انتخاب میکند.
سپس در خط بعدی در خط ، به ترتیب و آمده است که نمایانگر مختصات پستخانه میباشد. مختصات هیچ پستخانهای بیشتر از یک بار نمیآید.
در تنها سطر خروجی باید جواب را با دقیقا یک رقم اعشار خروجی دهید.
توضیح: در نمونهی بالا پستخانههای (۲،۲) ، (۶،۱) ، (۹،۴) و (۳،۷) را انتخاب میکنیم که مجموع مساحت زیر پوشش آنها ۲۴ میشود.