TSTP Solution File: NLP257-1 by Nitpick---2016