delete ---> Gecode



input number: