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