delete ---> KLEE
input number: