TSTP Solution File: NLP142-1 by SRASS---0.1