TSTP Solution File: NUN078+1 by Mace4---1109a