unicorn cnf