TSTP Solution File: NLP007+1 by Nitpick---2016