#define main solver_main_disabled
#include "../solver.cpp"
#undef main

int main(int argc, char **argv) {
    if (argc != 3) return 2;
    uint64_t n = strtoull(argv[1], nullptr, 10);
    string kind = argv[2];
    PurdomGen g;
    if (!generate_purdom(n, 1, 1, kind, g)) return 3;
    cout << "p cnf " << (g.next_var - 1) << " " << g.clauses.size() << "\n";
    for (const auto &cl : g.clauses) {
        for (int lit : cl) cout << lit << " ";
        cout << "0\n";
    }
    return 0;
}
