TSTP Solution File: NLP160+1 by SETHEO---3.3