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