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