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