TSTP Solution File: TOP004-1 by Mace4---1109a