当前没有测试数据。

Description

P4782 【模板】2-SAT 问题 https://www.luogu.com.cn/problem/P4782

P5782 [POI2001] 和平委员会 https://www.luogu.com.cn/problem/P5782

POJ3683 Priest John's Busiest Day http://poj.org/problem?id=3683

P4171 [JSOI2010]满汉全席 https://www.luogu.com.cn/problem/P4171

P3825 [NOI2017] 游戏 https://www.luogu.com.cn/problem/P3825

Format

Input

Output

Samples

1

1

Limitation

1s, 1024KiB for each test case.