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