АиСД S03E02. Компоненты сильной связности, 2-SAT