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