3-cnf-sat np-complete

visit shbcf.ru