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