TSTP Solution File: NLP008-1 by SRASS---0.1