DIQ-CNF