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