delete ---> GLOBAL SAT



input number: