Working on cnf having nightmares on dist