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