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