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