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