Z10 cnf 18 09