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