delete ---> SMT ADVENTURES



input number: