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