TSTP Solution File: NUN053^4 by Mace4---1109a