Rosetta Problems

1-SAT

https://atcoder.jp/contests/abc187/tasks/abc187_c