TSTP Solution File: NLP026-1 by SInE---0.4