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