TSTP Solution File: TOP047+4 by Mace4---1109a