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