Y2K 회계 버그

컴퓨터 기술자 회계 법인 ACM은 Y2K 버그로 인해 MS 주식회사의 연간 보고서 작성에 필요한 중요한 데이터를 잃어버렸습니다.

ACM이 기억하는 것은 다음과 같습니다. MS 주식회사는 1999년의 12개월 각각에서 흑자 또는 적자를 기록했습니다. 흑자를 기록한 달의 금액은 항상 $s$였고, 적자를 기록한 달의 금액은 항상 $d$였습니다. 여기서 $s$와 $d$는 양의 정수입니다. 하지만 어느 달이 흑자였는지, 흑자와 적자가 각각 몇 번이었는지는 기억하지 못합니다.

MS 주식회사는 다른 회사와 달리, 한 해 동안 연속된 5개월을 하나로 묶어 실적을 발표합니다. 따라서 1~5월, 2~6월, …, 8~12월로 이어지는 총 8개의 5개월 구간이 있으며, ACM은 이 8개 구간의 실적이 모두 적자, 즉 각 구간에 속한 5개월의 합이 음수였다는 사실만 알고 있습니다. 각 구간의 적자 규모가 얼마인지는 모릅니다.

주어진 $s$와 $d$에 대해, 1999년 한 해 전체(12개월의 합)가 흑자가 될 수 있는지 판단하고, 가능하다면 얻을 수 있는 최대 흑자 금액을 구하세요. 위 조건을 만족하는 어떤 흑자·적자 배치로도 연간 합이 양수가 될 수 없다면 그 해는 적자로 간주합니다.

입력은 여러 줄로 이루어집니다. 각 줄에는 두 양의 정수 $s$와 $d$가 공백으로 구분되어 주어집니다. 입력은 파일의 끝까지 계속됩니다.

각 입력 줄마다 한 줄씩 출력합니다. 연간 최대 흑자 금액을 양의 정수로 출력하되, 위 조건을 만족하는 어떤 배치로도 연간 합을 양수로 만들 수 없다면 Deficit을 출력합니다.