C. 1-SAT

Problem Name:
C. 1-SAT
Site:AtCoder
Links:
Tags: