TSTP Solution File: NUM494+3 by Mace4---1109a