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