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