题目描述

小码君喜欢吃榴莲。

现在小码君有三箱榴莲。第一个箱子里有n1个苹果，第二箱有n2个，第三箱有n3个。小码君是个吃货，但也是个严重的强迫症患者。三箱榴莲这样看起来更好看：

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

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

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

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

输入格式

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

输出格式

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

样例

输入样例1

15 40 22

输出样例1

19

输入样例2

2 2 2

输出样例2

-1