Nothing matched “2SAT4”

Check the spelling, or try fewer words.