题目链接：uva 1391 - Astronauts #include <cstdio>#include <cstring>#include <cmath>#include <vector>#include <algorithm>using namespace std;const int maxn = 100005;struct TwoSAT {int n;bool mark