TSTP Solution File: NUN071+2 by Nitpick---2016