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