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