TSTP Solution File: NUN102^1 by Mace4---1109a