delete ---> CNF PROPERTIES



input number: