char adj[128][128];
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cassert>
char adj[128][128];
int S, A;
void clause(int x, int y) {
adj[inv(x)][y] = 1;
adj[inv(y)][x] = 1;
}