https://123dok.net/document/zpn16jg0-sat-based-approach-solving-modal-logic-satisfiability-problem.html