TSTP Solution File: NLP173+1 by CiME---2.01