CF408B Garland

有一次，Vasya在一本杂志上读到一篇文章，内容是如何用彩纸制作美丽的手工花环。Vasya立即到店里买了N张彩纸，每张纸的面积为1平方米。 花环必须由任意面积的彩纸组成，每件纸片有确定的颜色。为了制作花环，Vasya可以任意地把他现有的彩纸剪成纸片。Vasya不必用所有的纸片来制作花环。 Vasya希望花环尽可能吸引人，因此他希望用来制作花环的M张纸的总面积尽可能大。请你计算出Vasya的花环中纸片的最大总面积。

第一行是一个包含N（1

输出一个整数，这个整数是Vasya想要得到的花环上的纸片的最大的可能总面积。如果他手上的彩纸不能得到他希望的花环的话，输出-1。保证答案永远是整数。

在第一个测试样例中，Vasya可以制作一个面积为6的花环：他可以使用两张彩色B，三张（但不是四张）彩色A，并将一张彩色C切成三张（比如说剪成相等的三块）。Vasya可以利用所得的碎片制作出面积为6的花环。 在第二个测试样例中，Vasya根本不能做花环——他没有一张彩色的Z。