TSTP Solution File: NUM815^5 by Mace4---1109a