No.5005 3-SAT - yukicoder
競技プログラミングの練習サイト
yukicoder.me