delete ---> CNF
input number: