delete ---> KLEE



input number: