>     while (scanf("%lld%lld", &s, &d) != EOF) {
>         cs = 5, cd = 0;
>         while (cs * s >= cd * d)
>             --cs, ++cd;
>         int64 ans = (cs * s - cd * d) * 2ll;
>         ans += min(cs, 2ll) * s - max(2ll - cs, 0ll) * d;
>         if (ans <= 0)
>             printf("Deficit\n");
>         else
>             printf("%lld\n", ans);
>     }