Function two_sat 

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

✅ AC 250ms

problem here

Detail

Case Name	Status	Exec Time
example_00	AC	0 ± 0 ms
example_01	AC	0 ± 0 ms
random_00	AC	122 ± 11 ms
random_01	AC	142 ± 11 ms
random_02	AC	33 ± 2 ms
random_03	AC	27 ± 1 ms
random_04	AC	29 ± 3 ms
max_random_00	AC	250 ± 139 ms
max_random_01	AC	170 ± 15 ms
max_random_02	AC	169 ± 2 ms
max_random_03	AC	215 ± 63 ms
max_random_04	AC	198 ± 10 ms
cycle_unsat_00	AC	59 ± 4 ms
cycle_unsat_01	AC	57 ± 1 ms
long_chain_00	AC	74 ± 1 ms
long_chain_01	AC	72 ± 0 ms
long_chain_02	AC	59 ± 0 ms
long_chain_03	AC	57 ± 0 ms