[Bug 717128] New: cnf doesn't find anything