TSTP Solution File: NUM324+1 by Mace4---1109a