#include <chrono>
#include <thread>
#include <fstream>

#include "light.hpp"
#include "utils/cmdline.h"
#include "network.h"
#include "paras.hpp"

int main(int argc, char **argv) {    
    
    light* S = new light();
    S->arg_parse(argc, argv);

    int res = S->run();
    if (res == 10) {
        printf("s SATISFIABLE\n");
        // print_model(model);
    }
    else if (res == 20) {
        printf("s UNSATISFIABLE\n");
    }
    else {
        printf("s UNKNOWN\n");
    }
    delete(S);

    return 0;
}