Задача A. Кролик ≡

Условие

Неделю назад новым обитателем городского зоопарка стал очень большой кролик. Он быстро стал любимцем посетителей, поэтому сотрудники зоопарка пристально следят за его весом и за тем, что он ест.

Известно, что в начале дня масса кролика равна M кг. На завтрак кролик ест A морковок, на обед — B яблок, а на ужин — C бананов.

Съев морковку, яблоко или банан, кролик увеличит свою массу на 2, 3 или 4 кг соответственно.

Так как морковки — более привычная для кроликов еда, чем яблоки, а яблоки — более привычная еда, чем бананы, съеденная масса яблок не должна превышать съеденную массу морковок, а съеденная масса бананов не должна превышать съеденную массу яблок.

Если вышеуказанное условие не выполняется, кролику станет очень плохо и посетители зоопарка будут недовольны.

Если кролик чувствует себя хорошо, то в конце дня его взвешивают на специальных весах для больших кроликов. Это довольно дорогостоящее оборудование, поэтому сотрудники зоопарка просят вас написать программу, которая выводит массу кролика в конце дня в зависимости от его начальной массы и количества съеденных морковок, яблок и бананов.

В случае, если кролик чувствует себя плохо, его не взвешивают, поэтому вы должны вывести число −1.

Формат входного файла

Входной файл содержит 4 целых числа: M, A, B и C.

Формат выходного файла

В случае, если кролику стало плохо, выходной файл должен содержать число −1.

В противном случае выходной файл должен содержать единственное целое число — массу кролика в конце дня.

Ограничения

1 ≤ M, A, B, C ≤ 10⁶

Примеры тестов

10 5 3 2

37

10 3 3 2

-1