TSTP Solution File: NLP183-1 by CiME---2.01