Input (grade 7): These states will secede from Sudan as part of the Republic of South Sudan on 9 July 2011.
Output (grade 7): The official name of Sudan is The Republic of Sudan.