diff --git a/content/russian/cs/graph-traversals/2-sat.md b/content/russian/cs/graph-traversals/2-sat.md
index fc6b2ba2..e4f9dcf0 100644
--- a/content/russian/cs/graph-traversals/2-sat.md
+++ b/content/russian/cs/graph-traversals/2-sat.md
@@ -2,10 +2,10 @@
 title: 2-SAT
 weight: 9
 authors:
-- Сергей Слотин
-- Максим Иванов
+  - Сергей Слотин
+  - Максим Иванов
 prerequisites:
-- scc
+  - scc
 ---
 
 **Ликбез.** Конъюнкция — это «правильный» термин для логического «И» (обозначается $\wedge$ или &). Конъюнкция возвращает `true` тогда и только тогда, когда обе переменные `true`.
@@ -60,4 +60,4 @@ prerequisites:
 0. Построим граф импликаций, заменив все выражения вида $a | b$ двумя ребрами $!a \rightarrow b$ и $!b \rightarrow a$.
 1. [Найдем](../scc) все компоненты сильной связности в графе импликаций.
 2. Проверим, что для любого значения $x$ его отрицание лежит в другой компоненте сильной связности: $c[ x ] \neq c[ !x ]$. Если это не так, то решения не существует.
-3. Если требуется выводить ответ, то положим условие $x$ верным, если $c[ x ] < c[ !x ]$, и неверным в противном случае.
+3. Если требуется выводить ответ, то положим условие $x$ верным, если $c[ x ] > c[ !x ]$, и неверным в противном случае.