Rosetta Problems
← atcoder に戻る
SAT Puzzle
https://atcoder.jp/contests/xmascon17/tasks/xmascon17_i