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