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