https://readmangahere.com/chapter-3-chapter-3-sat/