最近こたつでよく寝落ちをしてしまいます、ねむーです。 今回はAtCoder(https://atcoder.jp/contests/abc187/tasks/abc187_c)にて開催されました、AtCoder Beginner Contest 187 C問題「C - 1-SAT」の問題と僕との戦闘記です。 0.はじめに 今回も、プログラ…