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