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