Менеджер із персоналу проводить добір фахівців. Йому необхідно взяти на роботу трьох програмістів, двох аналітиків та одного юриста. На співбесіду прийшли такі кандидати: програмісти - Кирило, Лілія, Михайло, Назар та Ольга; аналітики - Павло, Роман і Світлана, юристи - Тарас та Уляна. З урахуванням відомостей із резюме кандидатів менеджер із персоналу керується такими умовами при доборі:

1) Михайло й Назар не можуть працювати в компанії разом;

2) Ольга не може працювати в компанії разом ані зі Світланою, ані з Уляною;

3) якщо взяти на роботу Павла, то обов’язково треба взяти на роботу і Кирила, і Назара;

4) Роман обов’язково має бути взятий на роботу в компанію.