TSTP Solution File: REL045-2 by Mace4---1109a