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