TSTP Solution File: FLD058-3 by Mace4---1109a