delete ---> CBMC



input number: