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