Нет, не формальная. При данной автором формулировке задачи его вариант решения не может быть логически выведен. Математические задачи не терпят неоднозначности. Условия надо формулировать чётко. Другими словами, я откуда должен узнать, что они сидят у дверей? А если они просто в домино режутся?
Ещё раз: НЕ ВАЖНО в данном случае. Перечитай мой ответ. А то потом будет также больно как и после глупостей в задачке о бочках с ядом.