Welcome to yts1999's blog!

2-SAT