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