https://techplanet.today/post/make-yourself-an-expert-in-sat-problem-solving-using-sat-formula-sheet