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