Function two_sat

pub fn two_sat(reader: impl Read, writer: impl Write)

✅ AC 141ms

problem here

Detail

Case Name	Status	Exec Time
example_00	AC	0 ± 0 ms
example_01	AC	0 ± 0 ms
random_00	AC	77 ± 3 ms
random_01	AC	103 ± 3 ms
random_02	AC	31 ± 0 ms
random_03	AC	27 ± 0 ms
random_04	AC	23 ± 2 ms
max_random_00	AC	136 ± 1 ms
max_random_01	AC	136 ± 2 ms
max_random_02	AC	140 ± 1 ms
max_random_03	AC	140 ± 2 ms
max_random_04	AC	141 ± 3 ms
cycle_unsat_00	AC	61 ± 4 ms
cycle_unsat_01	AC	60 ± 1 ms
long_chain_00	AC	76 ± 1 ms
long_chain_01	AC	75 ± 1 ms
long_chain_02	AC	64 ± 0 ms
long_chain_03	AC	62 ± 0 ms