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