Поддерживаем кандидата и баланс:
a = 7 1 5 5 5 3 5
    7:1
      7:0
        5:1
          5:2
            5:3
              5:2
                5:3
Если ответ существует, он равен кандидату.
Проверить можно за линейное время.