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