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