add satisfiable .cnf file
some stuff