XOR
Вообще, исходя из правил, выходит, что маньке надо просто выбить Санитара.
И ждать любой победы города.
Я не думаю, что у него получится вывести к победному 1/1/1