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