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