2 sat problem 증명하는 거 보고 지렸어요