关于2-SAT

P1330 封锁阳光大学

|