[Sat]

Это идея! Ну вот, методом предложений и следствий мы получили результат!