题目描述

Saber喜欢吃苹果。

现在Saber有三箱苹果。第一个箱子里有n1个苹果，第二箱有n2个，第三箱有n3个。Saber是个吃货，但也是个爱美的女生。三箱苹果这样看起来更好看：

第一点就是每个箱子都不能空。

第二点就是苹果数量应该是递增的。也就是说，第一个箱子的苹果数少于第二个箱子，第二箱的苹果少于第三箱。

Saber今天有些饱，所以想通过吃尽量少的苹果同时满足以上两个要求而使箱子看上去更美。

请你输出Saber吃掉的最少的苹果数量。如果她无法完成心愿就输出-1吧。

输入格式

输入有一行，三个正整数，依次代表n1，n2，n3，其中0<=n1,n2,n3<=3000

输出格式

一个整数，即题目要求的答案。

样例

输入样例1

15 40 22

输出样例1

19

输入样例2

2 2 2

输出样例2

-1