output working
working on cnf